Class SINGLE

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

Slots on this class:

Documentation: A list of length 1.

Instance-Of: Class

Subclass-Of: List

Equivalence Axioms:

(<=> (Single ?List) (And (List ?List) (= (Length ?List) 1)))

Axioms:

(= (Length ?List) 1)

(List ?List)

Other Related Axioms:

(<=> (Single ?List) (And (List ?List) (= (Length ?List) 1)))