FpoIsCapableOf

Description

A classification of an FPO with an ISO ‘class of inanimate physical object’ does not state that the FPO is capable of carrying out a particular function. For example the classification as JORD:PUMP does not imply in the iso-formulation that the FPO is capable of pumping. Additionally, the FPO has to be classified with a corresponding ‘class of functional object’. This modelling pattern restricts the role hasClassifier of the MMT-Template [ClassificationOfIndividual] to entities with entity type ‘class of functional object’.

Definition

Fpo (x1) is capable of fulfilling a particular functional requirement (x2).

../../_images/FpoIsCapableOf.svg
FpoIsCapableOf(x1, x2) <->
    FunctionalPhysicalObject(x1) &
    ClassOfFunctionalObject(x2) &
    MMT:ClassificationOfIndividual(x1, x2) .

Roles

  1. hasFpo
  2. hasCapableOf

Restrictions

  • Role filler of hasFpo must have entity type FunctionalPhysicalObject.
  • Role filler of hasCapableOf must have entity type ClassOfFunctionalObject.