Class QUALITATIVE-PARAMETER

• 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 qualitative parameters of the model.

Instance-Of: Class, Dme-kernel-class

Subclass-Of: Unary-function

Domain-Of: Possible-values

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

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

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

(=> (Possible-Values $X $Y) (Qualitative-Parameter $X))

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