Function OPERATING-MODE-CLASS-OF

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

Slots on this function:

Documentation:

Takes one argument, behavior-model-class. The value is another model fragment class which is the superclass of all the operating mode models of mf-class.

Instance-Of: Function

Arity: 2

Domain: Model-fragment

Other Related Axioms:

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