Class MODEL-FRAGMENT

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

Slots on this class:

Documentation:

The top level class for all models.

Instance-Of: Class, Dme-kernel-class

Domain-Of:

Actions, Caching-rules, Component-slots, Continuous-at-model-change-p, Instantiated, Operating-mode-class, Operating-mode-class-of, Operating-modes, Other-slots

Superclass-Of:

Behavior-model, Continuous-behavior-model, Discontinuous-behavior-model, Structural-element-model, Thing

Other Related Axioms:

(=> (= (It-Is-* ?Entity) ?Result)
    (Or (Model-Fragment ?Entity)
        (Qualitative-Parameter ?Entity)
        (Quantity-Slot ?Entity)
        (Other-Slot ?Entity)
        (Behavior-Constraint ?Entity)))

(=> (= (Notes ?Entity) ?Result)
    (Or (Model-Fragment ?Entity)
        (Qualitative-Parameter ?Entity)
        (Quantity-Slot ?Entity)
        (Other-Slot ?Entity)
        (Behavior-Constraint ?Entity)))

(=> (Continuous-At-Model-Change-P $X $Y) (Model-Fragment $X))

(=> (Instantiated $X $Y) (Model-Fragment $X))

(=> (Component-Slots $X $Y) (Model-Fragment $X))

(=> (Other-Slots $X $Y) (Model-Fragment $X))

(=> (Operating-Modes $X $Y) (Model-Fragment $X))

(=> (Actions $X $Y) (Model-Fragment $X))

(Nth-Domain Instantiation-Justification 1 Model-Fragment)

(=> (Caching-Rules $X $Y) (Model-Fragment $X))

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

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