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