Class TERM-LIST

Subclass-Of: Document

Axioms:

(Slot-Cardinality Term-List _List 1)

(=> (Term-List ?Self) (Exists (?A) (And (Part ?Self ?A) (Term ?A))))

• Defined in theory: Representation
• Source code: Representation.lisp