SUMO View all facts Glossary Help |
Entity > Abstract > Quantity > Number > RealNumber > NonnegativeRealNumber > NonnegativeInteger |
NonnegativeInteger 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 Integer: OddInteger Up: Integer, NonnegativeRealNumber Previous Integer: NegativeInteger