SUMO View all facts Glossary Help |
Entity > Abstract > Quantity > Number > RealNumber > NonnegativeRealNumber > PositiveRealNumber |
PositiveRealNumber comparison table |
Subject | documentation | be disjoint from | is a kind of | be second domain of | be first domain of | partition into | have axiom |
---|---|---|---|---|---|---|---|
PositiveInteger | An Integer that is greater than zero | Physical | PositiveRealNumber | valence | MonthFn | OddInteger, EvenInteger | (<=> |
Next NonnegativeRealNumber: NonnegativeInteger Up: NonnegativeRealNumber