TwoFpoForProcess

Description

Two Fpos are classified as being performer in a process.

Definition

Two Fpos (x1) (x2) participate in a process (x3) as performers.

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

Roles

  1. hasFpo1
  2. hasFpo2
  3. hasProcess

Restrictions

  • Role filler of hasFpo1 must have entity type FunctionalPhysicalObject.
  • Role filler of hasFpo2 must have entity type FunctionalPhysicalObject.
  • Role filler of hasProcess must have entity type ClassOfActivity.