===============================
ObjectPerformsFunctionInProcess
===============================
.. rubric:: Description


The term 'object' in modelling patterns is used as term for instances
of entity type Coipo.


.. rubric:: Definition


A Coipo (x1) participates in a process (x3) as performer of a
particular function (x2).


.. image:: ObjectPerformsFunctionInProcess.svg


::

    
    ObjectPerformsFunctionInProcess(x1, x2, x3) <->
        ClassOfInanimatePhysicalObject(x1) &
        ClassOfFunctionalObject(x2) &
        ClassOfActivity(x3) &
        exists OWN:PERFORMER exists u1 exists u2 exists u3(
            Role(OWN:PERFORMER) &
            ParticipatingRoleAndDomain(u1) &
            Cardinality(u2) &
            Cardinality(u3) &
            MMT:DefinitionOfParticipatingRoleAndDomain(x2, OWN:PERFORMER, u1) &
            MMT:ClassOfParticipationDefinition(x3, x1, u1, u2, u3)) .
    

.. rubric:: Roles

1. hasObject

2. hasFunction

3. hasProcess

.. rubric:: Restrictions

* Role filler of hasObject must have entity type ClassOfInanimatePhysicalObject.

* Role filler of hasFunction must have entity type ClassOfFunctionalObject.

* Role filler of hasProcess must have entity type ClassOfActivity.