SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > Number > RealNumber > NonnegativeRealNumber > NonnegativeInteger
Next IntegerOddInteger    UpInteger, NonnegativeRealNumber    Previous IntegerNegativeInteger   

NonnegativeIntegerdocumentation An Integer that is greater than or equal to zero2001-11-30 13:34:48.0
has axiom
(instance ?SET FiniteSet)
(exists (?NUMBER)
(instance ?NUMBER NonnegativeInteger)
(equal ?NUMBER (CardinalityFn ?SET)))))
2001-11-30 13:34:49.0
is second domain of CardinalityFn2001-11-30 13:34:49.0
is a kind of Integer2001-11-30 13:34:49.0
is a kind of NonnegativeRealNumber2001-11-30 13:34:49.0
Integeris first domain of PredecessorFn2001-11-30 13:34:31.0
is first domain of SuccessorFn2001-11-30 13:34:31.0
is first domain of YearFn2001-11-30 13:34:31.0
is partitioned into NegativeInteger, NonnegativeInteger2001-11-30 13:34:31.0
is partitioned into OddInteger, EvenInteger2001-11-30 13:34:31.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0

Kinds of NonnegativeInteger :