Class Real-Number

• 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: Number

Superclass-Of@Frame-Ontology:

Rational-Number, Integer, Non-Negative-Integer@Kif-Extensions, Positive-Integer@Ol-User%Kif-Extensions, Zero ...

Has-Instance@Frame-Ontology: The-Exponentiation-Constant-E, 0

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

Range-Of@Frame-Ontology: R-Lower-Bound@Ranges, R-Upper-Bound@Ranges

Arity@Frame-Ontology: 1

Documentation@Ol%Frame-Ontology: Real number

---

Slots:

Frame References to Real-Number:

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

Slots:

Subclass-Of@Frame-Ontology: Real-Number

Implication Axioms mentioning Real-Number:

(=> (Rational-Number ?X) (Real-Number ?X))

Equivalence Axioms mentioning Real-Number:

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

(<=> (Real-Range@Ranges ?Class)
     (And (Class@Frame-Ontology ?Class)
          (Subclass-Of@Frame-Ontology ?Class Real-Number)
          (Value-Cardinality@Frame-Ontology ?Class
                             R-Lower-Bound@Ranges
                             1)
          (Value-Cardinality@Frame-Ontology ?Class
                             R-Upper-Bound@Ranges
                             1)
          (Forall (?I)
                  (=> (Instance-Of@Frame-Ontology ?I ?Class)
                      (And (=< (R-Lower-Bound@Ranges ?Class) ?I)
                           (=< ?I (R-Upper-Bound@Ranges ?Class)))))))

Axioms mentioning Real-Number:

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