SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > Number > RealNumber > RationalNumber
Next RealNumber: BinaryNumber    Up: RealNumber    Previous RealNumber: Pi   

RationalNumber comparison table
Subject documentation be disjoint from is a kind of be second domain of be first domain of partition into have axiom
IntegerA negative or nonnegative whole numberPhysicalRationalNumbersingleValuedYearFnOddInteger, EvenInteger
(=>
    (instance ?NUMBER RationalNumber)
    (exists (?INT1 ?INT2)
       (and
          (instance ?INT1 Integer)
          (instance ?INT2 Integer)
          (equal ?NUMBER (DivisionFn ?INT1 ?INT2)))))

Next RealNumber: BinaryNumber    Up: RealNumber    Previous RealNumber: Pi