Class RATIONAL-NUMBER

• Defined in theory: Kif-numbers
• Source code: kif-numbers.lisp

Slots on this class:

Documentation: Rational number

Instance-Of: Class

Subclass-Of: Real-number

Superclass-Of: Integer

Equivalence Axioms:

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

Axioms:

(Exists (?Y) (And (Integer ?Y) (Integer (* ?X ?Y))))

(Real-Number ?X)

Other Related Axioms:

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