Class DISCONTINUOUS-BEHAVIOR-MODEL

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

Slots on this class:

Documentation:

The class of model fragments representing discontinuous phenomena.

Instance-Of: Class, Dme-kernel-class

Subclass-Of: Behavior-model, Model-fragment

Superclass-Of: Alarm-model, Discontinuous-non-quantitative-behavior-model, Discontinuous-quantitative-behavior-model

Other Related Axioms:

(Nth-Domain Action-Rule 1 Discontinuous-Behavior-Model)