Class Individual-Thing

Arity: 1
An individual-thing is something that isn't a set, but that can be a member of a set. All classes of things that are not sets are subclasses of individual-thing. The KIF predicate INDIVIDUAL is true of all things that are not sets, but this includes entities that can't be members of any set ("unbounded" entities).
Instance-Of: Class, Relation, Set
Subclass-Of: Individual, Thing
Superclass-Of: Agent-Name@Agents


Equivalence Axioms for Individual-Thing:

(<=> (Individual-Thing ?X) (And (Thing ?X) (Individual ?X)))

Frame References to Individual-Thing:

In class Thing:

Exhaustive-Subclass-Partition: {Individual-Thing, Simple-Set}