Class BEHAVIOR-MODEL

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

Slots on this class:

Documentation:

All model fragments that contain any behavioral description.

Instance-Of: Class, Dme-kernel-class

Subclass-Of: Model-fragment

Domain-Of:

Active, Instantiation-condition, Participant-slots, Qualitative-parameters, Quantity-slots

Superclass-Of: Discontinuous-behavior-model, Operating-mode-model, Operator-action-model

Other Related Axioms:

(=> (Instantiation-Condition $X $Y) (Behavior-Model $X))

(=> (Active $X $Y) (Behavior-Model $X))

(=> (Quantity-Slots $X $Y) (Behavior-Model $X))

(=> (Qualitative-Parameters $X $Y) (Behavior-Model $X))

(=> (Participant-Slots $X $Y) (Behavior-Model $X))