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 (=> (instance ?SET FiniteSet) (exists (?NUMBER) (and (instance ?NUMBER NonnegativeInteger) (equal ?NUMBER (CardinalityFn ?SET)))))
	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 :

• PositiveInteger (10 facts) - An Integer that is greater than zero