Class QUANTITY-SLOT

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

Slots on this class:

Documentation:

The class whose instances are unary functions from BEHAVIOR-MODELs

to quantities.

Instance-Of: Class, Dme-kernel-class

Subclass-Of: Unary-function

Domain-Of: Derivative-of, Dimension, Integral-of

Range-Of: Continuous-at-model-change-p

Other Related Axioms:

(=> (Dimension $X $Y) (Quantity-Slot $X))

(=> (= (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)))

(=> (= (The-*-The-Object ?Slot) ?Result)
    (Or (Qualitative-Parameter ?Slot)
        (Quantity-Slot ?Slot)
        (Other-Slot ?Slot)))

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

(=> (Derivative-Of $X $Y) (Quantity-Slot $X))

(=> (Integral-Of $X $Y) (Quantity-Slot $X))

(Nth-Domain At 2 Quantity-Slot)

(=> (= (User-Accessible ?Slot) ?Result)
    (Or (Qualitative-Parameter ?Slot) (Quantity-Slot ?Slot)))

(=> (= (Abbreviation ?Slot) ?Result)
    (Or (Qualitative-Parameter ?Slot)
        (Quantity-Slot ?Slot)
        (Other-Slot ?Slot)))

(Nth-Domain Quantity-Range 1 Quantity-Slot)

(Nth-Domain Points-Of-Discontinuity 1 Quantity-Slot)