Class Integer

• 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: Rational-Number, Number, Real-Number

Superclass-Of@Frame-Ontology:

Natural, Nonnegative-Integer, Zero, Non-Negative-Integer@Kif-Extensions, Positive-Integer@Ol-User%Kif-Extensions ...

Has-Instance@Frame-Ontology: 0

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

Range-Of@Frame-Ontology:

Floor, Integer-Decode-Float, Round, Arity@Frame-Ontology, Cardinality@Ol-User%Kif-Extensions ...

Arity@Frame-Ontology: 1

Documentation@Ol%Frame-Ontology: Integer

---

Slots:

Frame References to Integer:

In class@frame-ontology Integer-Range@Ranges:

Slots:

Subclass-Of@Frame-Ontology: Integer

Implication Axioms mentioning Integer:

(=> (Rational-Number ?X)
    (Exists (?Y) (And (Integer ?Y) (Integer (* ?X ?Y)))))

(=> (Natural ?X) (Integer ?X))

(=> (Zero ?X) (Integer ?X))

(=> (Positive-Integer@Ol-User%Kif-Extensions ?X) (Integer ?X))

(=> (Non-Negative-Integer@Kif-Extensions ?X) (Integer ?X))

Equivalence Axioms mentioning Integer:

(<=> (Rational-Number ?X)
     (And (Real-Number ?X)
          (Exists (?Y) (And (Integer ?Y) (Integer (* ?X ?Y))))))

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

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

(<=> (Positive-Integer@Ol-User%Kif-Extensions ?X)
     (And (Integer ?X) (> ?X 0)))

(<=> (Non-Negative-Integer@Kif-Extensions ?X)
     (And (Integer ?X) (>= ?X 0)))

Axioms mentioning Integer:

(<= (Subclass-Of@Frame-Ontology ?X Integer)
    (Integer-Range@Ranges ?X))