Class OPERATING-MODE-MODEL

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

Slots on this class:

Documentation:

The class of all model fragments that denote behavior of a component. By convention, devices will have a subclass of this class whose immediate subclasses are all of the behavior modes of a given device, i.e. Battery-Operating-modes is a superclass of the overcharged, undercharged etc. modes.

Instance-Of: Class, Dme-kernel-class

Subclass-Of: Behavior-model

Domain-Of: Component-class-of-opmode, Component-is-*, User-specified-new-value

Other Related Axioms:

(=> (Component-Is-* $X $Y) (Operating-Mode-Model $X))

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

(=> (User-Specified-New-Value $X $Y) (Operating-Mode-Model $X))