================
TwoFpoForProcess
================
.. rubric:: Description


Two Fpos are classified as being performer in a process.


.. rubric:: Definition


Two Fpos (x1) (x2) participate in a process (x3) as performers.


.. image:: TwoFpoForProcess.svg


::

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

.. rubric:: Roles

1. hasFpo1

2. hasFpo2

3. hasProcess

.. rubric:: Restrictions

* Role filler of hasFpo1 must have entity type FunctionalPhysicalObject.

* Role filler of hasFpo2 must have entity type FunctionalPhysicalObject.

* Role filler of hasProcess must have entity type ClassOfActivity.