Function ARTICULATION-AXIOM-DESCRIPTORS

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

Slots on this function:

Documentation:

Asserts that instances of a particular model class have a set of constraints described by the value.

e.g. `(articulation-axiom-description rechargeable-battery

,(list (dme::make-articulation-axiom-descriptor

:Name constraint-name

:Constraint-Expression constraint

:Description articulation-axiom-description)))

Instance-Of: Function

Arity: 2

Axioms:

(Behavior-Model ?Model-Class)