Fpo1AndFpo2FulfilFunctionJointlyInProcess

Description

hasFpo1 and hasFpo2 point on FPOs that both have the intended role of own:JointPerformer. This role is to be instantiated in an RDL. Both Fpos are parts of a joint Fpo. This joint Fpo is classified as an Fpo that participates in hasProcess in the role of own:Performer fulfilling a given hasFunction.

Definition

Two FunctionalPhysicalObjects, (x1) and (x2), jointly fulfill a function in a process.

Fpo1AndFpo2FulfilFunctionJointlyInProcess(x1, x2, x3, x4) <->
    FunctionalPhysicalObject(x1) &
    FunctionalPhysicalObject(x2) &
    ClassOfFunctionalObject(x3) &
    ClassOfActivity(x4) &
    exists OWN:JOINT_PERFORMER exists u1 exists u2 exists OWN:PERFORMER exists u3 exists u4 exists u5(
        Role(OWN:JOINT_PERFORMER) &
        FunctionalPhysicalObject(u1) &
        ClassOfInanimatePhysicalObject(u2) &
        Role(OWN:PERFORMER) &
        ParticipatingRoleAndDomain(u3) &
        Cardinality(u4) &
        Cardinality(u5) &
        IntendedRoleAndDomainTemplate(OWN:JOINT_PERFORMER, x1) &
        IntendedRoleAndDomainTemplate(OWN:JOINT_PERFORMER, x2) &
        MMT:ArrangementOfAnIndividual(u1, x1) &
        MMT:ArrangementOfAnIndividual(u1, x2) &
        MMT:ClassificationOfIndividual(u1, u2) &
        MMT:DefinitionOfParticipatingRoleAndDomain(x3, OWN:PERFORMER, u3) &
        MMT:ClassOfParticipationDefinition(x4, u2, u3, u4, u5)) .

Roles

1. hasFpo1
2. hasFpo2
3. hasFunction
4. hasProcess

Restrictions

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