FpoIsDescribedByActivityClass

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)

Definition

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

../../_images/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)) .

Roles

  1. hasFpo
  2. hasActivityClass

Restrictions

  • Role filler of hasFpo must have entity type FunctionalPhysicalObject.
  • Role filler of hasActivityClass must have entity type ClassOfActivity.