Class Zero

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

Subclass-Of@Frame-Ontology:

Integer, Number, Rational-Number, Real-Number

Has-Instance@Frame-Ontology: 0

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

All-Instances@Frame-Ontology: {0}

Arity@Frame-Ontology: 1

Documentation@Ol%Frame-Ontology: The class containing 0. May be used as a predicate.

---

Slots:

Equivalence Axioms for Zero:

(<=> (Zero ?X) (And (Integer ?X) (= ?X 0)))

Axioms for Zero:

(Inherited-Slot-Value@Frame-Ontology Zero = 0)