=========================
ObjectIsCapableOfFunction
=========================
.. rubric:: Description


An object that is a dm:ClassOfArrangedIndividual is specified by
its function. The function is of entity type
dm:ClassOfFunctionalObject.


.. rubric:: Definition


An object (x1) is capable of a function (x2).


.. image:: ObjectIsCapableOfFunction.svg


::

    
    ObjectIsCapableOfFunction(x1, x2) <->
        ClassOfArrangedIndividual(x1) &
        ClassOfFunctionalObject(x2) &
        MMT:SpecializationOfClassOfIndividual(x1, x2) .
    

.. rubric:: Roles

1. hasObject

2. hasFunction

.. rubric:: Restrictions

* Role filler of hasObject must have entity type ClassOfArrangedIndividual.

* Role filler of hasFunction must have entity type ClassOfFunctionalObject.