(=> (instance ?NUMBER RationalNumber) (exists (?INT1 ?INT2) (and (instance ?INT1 Integer) (instance ?INT2 Integer) (equal ?NUMBER (DivisionFn ?INT1 ?INT2)))))
Kinds of RationalNumber :
Next RealNumber: BinaryNumber Up: RealNumber Previous RealNumber: Pi