==============
FpoIsCapableOf
==============
.. rubric:: 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’.


.. rubric:: Definition


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


.. image:: FpoIsCapableOf.svg


::

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

.. rubric:: Roles

1. hasFpo

2. hasCapableOf

.. rubric:: Restrictions

* Role filler of hasFpo must have entity type FunctionalPhysicalObject.

* Role filler of hasCapableOf must have entity type ClassOfFunctionalObject.