Class INDIVIDUAL

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

Slots on this class:

Documentation:

An individual is something that is not a set.

Instance-Of: Class

Equivalence Axioms:

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

Axioms:

(Not (Set ?X))

Other Related Axioms:

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

Notes:

• Source: KIF Version 3.0 Specification