SUMO View all facts Glossary Help |
Entity > Abstract > Quantity > Number > RealNumber > NonnegativeRealNumber |
NonnegativeRealNumber comparison table |
Subject | documentation | be first domain of | be second domain of | partition into | have axiom |
---|---|---|---|---|---|
NonnegativeInteger | An Integer that is greater than or equal to zero | YearFn | CardinalityFn | OddInteger, EvenInteger | (=> |
PositiveRealNumber | A RealNumber that is greater than zero | SecondFn | HourIntervalFn | NegativeRealNumber, NonnegativeRealNumber | (=> |
Next RealNumber: Pi Up: RealNumber Previous RealNumber: NegativeRealNumber