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

Superclass-Of@Frame-Ontology:

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

Has-Instance@Frame-Ontology: 0

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

Arity@Frame-Ontology: 1

Documentation@Ol%Frame-Ontology: Rational number

---

Slots:

Implication Axioms for Rational-Number:

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

Equivalence Axioms for Rational-Number:

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