=====================
ActuatorHasFailAction
=====================
.. rubric:: Description


An actuator is classified as being capable of a particular fail action.


.. rubric:: Definition


An actuator (x1) has a particular type of fail action (x2).


.. image:: ActuatorHasFailAction.svg


::

    
    ActuatorHasFailAction(x1, x2) <-> 
        FunctionalPhysicalObject(x1) & 
        ClassOfActivity(x2) &
        exists u(
            AIX:FpoIsCapableOf(x1, u) &
            MMT:SpecializationOfClassOfIndividual(u, x2)) .
    

.. rubric:: Roles

1. hasActuator

2. hasFailAction

.. rubric:: Restrictions

* Role filler of hasActuator must have entity type FunctionalPhysicalObject.

* Role filler of hasFailAction must have entity type ClassOfActivity.

* Role filler of hasFailAction must be classified as FailActionClass.