Function PARTICIPANT-SLOTS

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

Slots on this function:

Documentation:

Definitions of slots whose values are participants in 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: Behavior-model

Other Related Axioms:

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