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