Class INDIVIDUAL

An individual is something that is not a set.

Axioms:

(<=> (Individual ?X) (Not (Set ?X)))

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