FpoPerformsFunctionInProcess

Description

An Fpo is the member of a Coipo which participates in a process (COAC). The participation is specified by being a performer and by a function.

Definition

An Fpo (x1) is performer of a function (x2) in a process (x3).

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

Roles

  1. hasFpo
  2. hasFunction
  3. hasProcess

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.