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

PrimeNumber
subjectfact 
PrimeNumberdocumentation An Integer that is evenly divisible only by itself and 12001-11-30 13:35:03.0
has axiom 
(=>
    (instance ?PRIME PrimeNumber)
    (forall (?NUMBER)
       (=>
          (equal (RemainderFn ?PRIME ?NUMBER) 0)
          (or
             (equal ?NUMBER 1)
             (equal ?NUMBER ?PRIME)))))
2001-11-30 13:35:03.0
is a kind of Integer2001-11-30 13:35:03.0
Integeris first domain of PredecessorFn2001-11-30 13:34:31.0
is first domain of SuccessorFn2001-11-30 13:34:31.0
is first domain of YearFn2001-11-30 13:34:31.0
is second domain of ExponentiationFn2001-11-30 13:34:31.0
is second domain of singleValued2001-11-30 13:34:31.0
is partitioned into NegativeInteger, NonnegativeInteger2001-11-30 13:34:31.0
is partitioned into OddInteger, EvenInteger2001-11-30 13:34:31.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0