SUMO View all facts Glossary Help |
Entity > Abstract > Quantity > Number > RealNumber > RationalNumber > Integer > PrimeNumber |
PrimeNumber comparison table |
Subject | documentation | is a kind of | have axiom |
---|---|---|---|
Integer | A negative or nonnegative whole number | RationalNumber | (=> |
PrimeNumber | An Integer that is evenly divisible only by itself and 1 | Integer | (=> |
Next Integer: EvenInteger Up: Integer Previous Integer: OddInteger