Function USER-ACCESSIBLE

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

Slots on this function:

Documentation:

If true, means that the user can tweak the value of this slot

Instance-Of: Function

Arity: 2

Other Related Axioms:

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