SUMO View all facts Glossary Help |
Entity > Abstract > Quantity > Number > RealNumber > NegativeRealNumber > NegativeInteger |
NegativeInteger comparison table |
Subject | documentation | is a kind of | be second domain of | be first domain of | partition into | have axiom |
---|---|---|---|---|---|---|
Integer | A negative or nonnegative whole number | RationalNumber | singleValued | YearFn | OddInteger, EvenInteger | (=> |
NegativeRealNumber | A RealNumber that is less than zero | RealNumber | SubtractionFn | SquareRootFn | NegativeRealNumber, NonnegativeRealNumber | (=> |
NegativeInteger | An Integer that is less than zero | NegativeRealNumber | singleValued | YearFn | OddInteger, EvenInteger | (<=> |
Next Integer: NonnegativeInteger Up: Integer, NegativeRealNumber Previous Integer: EvenInteger