================================
FpoHasRedundantFunctionInProcess
================================
.. rubric:: Description


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


.. rubric:: Definition


Fpo (x1) is classified as participating in a process (x3) fulfilling a particular
function (x2) redundantly.


.. image:: FpoHasRedundantFunctionInProcess.svg


::

    
    FpoHasRedundantFunctionInProcess(x1, x2, x3) <->
        FunctionalPhysicalObject(x1) &
        ClassOfFunctionalObject(x2) &
        ClassOfActivity(x3) &
        exists u1 exists OWN:REDUNDANT_PERFORMER exists u2 exists u3 exists u4(
            ClassOfInanimatePhysicalObject(u1) &
            Role(OWN:REDUNDANT_PERFORMER) &
            ParticipatingRoleAndDomain(u2) &
            Cardinality(u3) &
            Cardinality(u4) &
            MMT:ClassificationOfIndividual(x1, u1) &
            MMT:DefinitionOfParticipatingRoleAndDomain(x2, OWN:REDUNDANT_PERFORMER, u2) &
            MMT:ClassOfParticipationDefinition(x3, u1, u2, u3, u4)) .
    

.. rubric:: Roles

1. hasFpo

2. hasFunction

3. hasProcess

.. rubric:: Restrictions

* Role filler of hasFpo must have entity type FunctionalPhysicalObject.

* Role filler of hasFunction must have entity type ClassOfFunctionalObject.

* Role filler of hasProcess must have entity type ClassOfActivity.