SUMO View all facts Glossary Help |
Entity > Abstract > Quantity > Number > RealNumber > NonnegativeRealNumber > NonnegativeInteger |
NonnegativeInteger | ||||
subject | fact |
NonnegativeInteger | documentation An Integer that is greater than or equal to zero | |
has axiom (=> | ||
is second domain of CardinalityFn | ||
is a kind of Integer | ||
is a kind of NonnegativeRealNumber | ||
Integer | is first domain of PredecessorFn | |
is first domain of SuccessorFn | ||
is first domain of YearFn | ||
is partitioned into NegativeInteger, NonnegativeInteger | ||
is partitioned into OddInteger, EvenInteger | ||
Abstract | is disjoint from Physical |
Kinds of NonnegativeInteger :