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

PrimeNumber 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)))))
PrimeNumberAn Integer that is evenly divisible only by itself and 1Integer
(=>
    (instance ?PRIME PrimeNumber)
    (forall (?NUMBER)
       (=>
          (equal (RemainderFn ?PRIME ?NUMBER) 0)
          (or
             (equal ?NUMBER 1)
             (equal ?NUMBER ?PRIME)))))

Next Integer: EvenInteger    Up: Integer    Previous Integer: OddInteger