=============
FpoForProcess
=============
.. rubric:: Description


The modelling pattern does not state an actual participation in
an actual process but a participation in anticipated process.


.. rubric:: Definition


An Fpo (x1) participates in a process (x2) as performer. 


.. image:: FpoForProcess.svg


::

    
    FpoForProcess(x1, x2) <->
        FunctionalPhysicalObject(x1) &
        ClassOfActivity(x2) &
        exists u1 exists OWN:PERFORMER exists u2 exists u3(
            ClassOfInanimatePhysicalObject(u1) &
            Role(OWN:PERFORMER) &
            Cardinality(u2) &
            Cardinality(u3) &
            MMT:ClassificationOfIndividual(x1, u1) &
            MMT:ClassOfParticipationDefinition(x2, u1, OWN:PERFORMER, u3, u4)) .
    

.. rubric:: Roles

1. hasFpo

2. hasProcess

.. rubric:: Restrictions

* Role filler of hasFpo must have entity type FunctionalPhysicalObject.

* Role filler of hasProcess must have entity type ClassOfActivity.