SUMO View all facts Glossary Help |
Entity > Abstract > Quantity > Number > RealNumber > RationalNumber > Integer |
Integer comparison table |
Subject | documentation | is a kind of | be second domain of | have axiom |
---|---|---|---|---|
EvenInteger | An Integer that is evenly divisible by 2 | Integer | singleValued | (=> |
NegativeInteger | An Integer that is less than zero | NegativeRealNumber | singleValued | (<=> |
NonnegativeInteger | An Integer that is greater than or equal to zero | NonnegativeRealNumber | CardinalityFn | (=> |
OddInteger | An Integer that is not evenly divisible by 2 | Integer | singleValued | (=> |
PrimeNumber | An Integer that is evenly divisible only by itself and 1 | Integer | singleValued | (=> |
Up: RationalNumber