Class OTHER-SLOT

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

Slots on this class:

Documentation:

The class whose instances are binary relations from BEHAVIOR-MODELs

to other slots of the model.

Instance-Of: Class, Dme-kernel-class

Subclass-Of: Binary-relation

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

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