SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > Number > RealNumber > RationalNumber > Integer
Up: RationalNumber

Integer comparison table
Subject documentation is a kind of be second domain of have axiom
EvenIntegerAn Integer that is evenly divisible by 2IntegersingleValued
(=>
 	(instance ?NUMBER EvenInteger)
 	(equal (RemainderFn ?NUMBER 2) 0))
NegativeIntegerAn Integer that is less than zeroNegativeRealNumbersingleValued
(<=>
      (equal (AbsoluteValueFn ?NUMBER1) ?NUMBER2)
      (or 
          (and 
               (instance ?NUMBER1 PositiveInteger)
               (equal ?NUMBER1 ?NUMBER2))     
          (and 
               (instance ?NUMBER1 NegativeInteger)
               (equal ?NUMBER2 (SubtractionFn 0 ?NUMBER1)))))
NonnegativeIntegerAn Integer that is greater than or equal to zeroNonnegativeRealNumberCardinalityFn
(=>
    (instance ?SET FiniteSet)
    (exists (?NUMBER)
       (and
          (instance ?NUMBER NonnegativeInteger)
          (equal ?NUMBER (CardinalityFn ?SET)))))
OddIntegerAn Integer that is not evenly divisible by 2IntegersingleValued
(=>
 	(instance ?NUMBER OddInteger)
 	(equal (RemainderFn ?NUMBER 2) 1))
PrimeNumberAn Integer that is evenly divisible only by itself and 1IntegersingleValued
(=>
    (instance ?PRIME PrimeNumber)
    (forall (?NUMBER)
       (=>
          (equal (RemainderFn ?PRIME ?NUMBER) 0)
          (or
             (equal ?NUMBER 1)
             (equal ?NUMBER ?PRIME)))))

Up: RationalNumber