Function COMPONENT-SLOTS

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

Slots on this function:

Documentation:

Definitions of slots whose values are components of a model. This slot currently only makes sense for models, not model instances. Since its values are arbitrary lisp lists, they are quoted.

Instance-Of: Function

Arity: 2

Domain: Model-fragment

Other Related Axioms:

(=> (Component-Slots $X $Y) (Model-Fragment $X))