Class REAL-NUMBER

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

Slots on this class:

Documentation: Real number

Instance-Of: Class

Subclass-Of: Number

Other Related Axioms:

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