Class Individual-Thing

• Defined in ontology: Frame-ontology
• Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/ontolingua/../../all-ontologies/ontolingua/frame-ontology.lisp

Arity: 1

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, Relation, Set

Subclass-Of: Individual, Thing

Superclass-Of: Agent-Name@Agents

---

Slots:

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}