=============================
FpoIsDescribedByActivityClass
=============================
.. rubric:: Description


Information contained in documents can mix different concepts like a functional
description and activities. This modelling patterns allows the description
of such mixtues on documents. An Fpo is classified as being of a COIPO that
participates in a COAC.
(see Exemplarische_Auspraegung for examples)


.. rubric:: Definition


An Fpo (x1) is described by a reference to an activity (x2).


.. image:: FpoIsDescribedByActivityClass.svg


::

    
    FpoIsDescribedByActivityClass(x1, x2) <->
        FunctionalPhysicalObject(x1) &
        ClassOfActivity(x2) &
        exists u1 exists u2 exists u3 exists u4(
            ClassOfInanimatePhysicalObject(u1) &
            Role(u2) &
            Cardinality(u3) &
            Cardinality(u4) &
            AIX:FpoIsSomething(x1, u1) &
            MMT:ClassOfParticipationDefinition(x2, u1, u2, u3, u4)) .
    

.. rubric:: Roles

1. hasFpo

2. hasActivityClass

.. rubric:: Restrictions

* Role filler of hasFpo must have entity type FunctionalPhysicalObject.

* Role filler of hasActivityClass must have entity type ClassOfActivity.