Class Individual

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

Superclass-Of@Frame-Ontology:

Duration@Simple-Time, Individual-Thing@Frame-Ontology, Symbol@Ol-User%Kif-Extensions, Time-Point@Simple-Time, Time-Range@Simple-Time ...

Instance-Of@Frame-Ontology: Class@Frame-Ontology, Relation@Ol-User%Kif-Relations, Set

Arity@Frame-Ontology: 1

Documentation@Ol%Frame-Ontology:

An individual is something that is not a set.

Notes:

• Source: KIF Version 3.0 Specification

---

Slots:

Equivalence Axioms for Individual:

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

Implication Axioms mentioning Individual:

(=> (Individual-Thing@Frame-Ontology ?X) (Individual ?X))

Equivalence Axioms mentioning Individual:

(<=> (Individual-Thing@Frame-Ontology ?X)
     (And (Thing@Frame-Ontology ?X) (Individual ?X)))