Class NULL

True of the list with no items.

Subclass-Of: List

Slots Of Instances:

Length: 0

Axioms:

(<=> (Null ?List) (And (List ?List) (= (Length ?List) 0)))

• Defined in theory: Kif-lists
• Source code: kif-lists.lisp