Class INDIVIDUAL-THING

• Defined in theory: Frame-ontology
• Source code: frame-ontology.lisp

Slots on this class:

Documentation:

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

Subclass-Of: Individual, Thing

Equivalence Axioms:

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

Axioms:

(Individual ?X)

(Thing ?X)

Other Related Axioms:

(Exhaustive-Subclass-Partition Thing
                               (Setof Simple-Set Individual-Thing))

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