Function ABBREVIATION

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

Slots on this function:

Documentation:

Abbreviation for the slot. Used when building compact variable names

Instance-Of: Function

Arity: 2

Other Related Axioms:

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