SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > Number > RealNumber > RationalNumber > Integer > OddInteger
Next Integer: PrimeNumber    Up: Integer    Previous Integer: NonnegativeInteger   

OddInteger comparison table
Subject documentation is a kind of have axiom
IntegerA negative or nonnegative whole numberRationalNumber
(=>
    (instance ?NUMBER RationalNumber)
    (exists (?INT1 ?INT2)
       (and
          (instance ?INT1 Integer)
          (instance ?INT2 Integer)
          (equal ?NUMBER (DivisionFn ?INT1 ?INT2)))))
OddIntegerAn Integer that is not evenly divisible by 2Integer
(=>
 	(instance ?NUMBER OddInteger)
 	(equal (RemainderFn ?NUMBER 2) 1))

Next Integer: PrimeNumber    Up: Integer    Previous Integer: NonnegativeInteger