FpoHasFunctionInProcess

Description

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

Definition

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

../../_images/FpoHasFunctionInProcess.svg
FpoHasFunctionInProcess(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.