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

EvenInteger 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)))))
EvenIntegerAn Integer that is evenly divisible by 2Integer
(=>
 	(instance ?NUMBER EvenInteger)
 	(equal (RemainderFn ?NUMBER 2) 0))

Next Integer: NegativeInteger    Up: Integer    Previous Integer: PrimeNumber