Function COMPONENT-CLASS-OF-OPMODE

• Defined in theory: Dme-kb
• Source code: dme-kb.lisp

Slots on this function:

Documentation:

The class of components that can have a certain class of operating modes. The value must be a subclass of

structural-element-model

Instance-Of: Function

Arity: 2

Domain: Operating-mode-model

Other Related Axioms:

(=> (Component-Class-Of-Opmode $X $Y) (Operating-Mode-Model $X))