Class RATIONAL-NUMBER

Rational number

Subclass-Of: Real-number

Axioms:

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

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