Class LIST

Subclass-Of: Collection, Cons-or-null

Axioms:

(<=> (List ?Self) (And (Cons-Or-Null ?Self) (Collection ?Self)))

• Defined in theory: Built-in-theory
• Source code: Built-In-Theory.lisp
• Also defined in: Kif-lists