Function QUANTITY-SLOTS

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

Slots on this function:

Documentation:

mapping from a model-class to list of slots that denote quantity variables. Intended to be inherited down through subclasses (submodels).

Instance-Of: Function

Arity: 2

Domain: Behavior-model

Other Related Axioms:

(=> (Quantity-Slots $X $Y) (Behavior-Model $X))