ActuatorHasFailAction

Description

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

Definition

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

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

Roles

  1. hasActuator
  2. hasFailAction

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.