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