=========================================
Fpo1AndFpo2FulfilFunctionJointlyInProcess
=========================================
.. rubric:: Description


hasFpo1 and hasFpo2 point on FPOs that both have the intended role of
own:JointPerformer. This role is to be instantiated in an RDL. Both Fpos
are parts of a joint Fpo. This joint Fpo is classified as an Fpo that
participates in hasProcess in the role of own:Performer fulfilling a
given hasFunction. 


.. rubric:: Definition


Two FunctionalPhysicalObjects, (x1) and (x2), jointly fulfill a function in
a process.


.. image:: Fpo1AndFpo2FulfilFunctionJointlyInProcess.svg


::

    
    Fpo1AndFpo2FulfilFunctionJointlyInProcess(x1, x2, x3, x4) <->
        FunctionalPhysicalObject(x1) &
        FunctionalPhysicalObject(x2) &
        ClassOfFunctionalObject(x3) &
        ClassOfActivity(x4) &
        exists OWN:JOINT_PERFORMER exists u1 exists u2 exists OWN:PERFORMER exists u3 exists u4 exists u5(
            Role(OWN:JOINT_PERFORMER) &
            FunctionalPhysicalObject(u1) &
            ClassOfInanimatePhysicalObject(u2) &
            Role(OWN:PERFORMER) &
            ParticipatingRoleAndDomain(u3) &
            Cardinality(u4) &
            Cardinality(u5) &
            IntendedRoleAndDomainTemplate(OWN:JOINT_PERFORMER, x1) &
            IntendedRoleAndDomainTemplate(OWN:JOINT_PERFORMER, x2) &
            MMT:ArrangementOfAnIndividual(u1, x1) &
            MMT:ArrangementOfAnIndividual(u1, x2) &
            MMT:ClassificationOfIndividual(u1, u2) &
            MMT:DefinitionOfParticipatingRoleAndDomain(x3, OWN:PERFORMER, u3) &
            MMT:ClassOfParticipationDefinition(x4, u2, u3, u4, u5)) .
    

.. rubric:: Roles

1. hasFpo1

2. hasFpo2

3. hasFunction

4. hasProcess

.. rubric:: Restrictions

* Role filler of hasFpo2 must have entity type FunctionalPhysicalObject.

* Role filler of hasFpo1 must have entity type FunctionalPhysicalObject.

* Role filler of hasFunction must have entity type ClassOfFunctionalObject.

* Role filler of hasProcess must have entity type ClassOfActivity.