SUMO   View all facts   Glossary   Help

Entity > Abstract > Quantity > Number > RealNumber > NonnegativeRealNumber

NonnegativeRealNumber
subject			fact

NonnegativeRealNumber	documentation A RealNumber that is greater than or equal to zero
	has axiom (=> (instance ?NUMBER NonnegativeRealNumber) (greaterThanOrEqualTo ?NUMBER 0))
	has axiom (=> (instance ?NUMBER NonnegativeRealNumber) (or (equal (SignumFn ?NUMBER) 1) (equal (SignumFn ?NUMBER) 0)))
	is a kind of RealNumber
RealNumber	is first domain of AbsoluteValueFn
	is first domain of ArcCosineFn
	is first domain of ArcSineFn
	is first domain of ArcTangentFn
	is first domain of CeilingFn
	is first domain of DenominatorFn
	is first domain of FloorFn
	is first domain of IntegerSquareRootFn
	is first domain of LogFn
	is first domain of MeasureFn
	is first domain of NumeratorFn
	is first domain of SignumFn
	is first domain of SquareRootFn
	is partitioned into NegativeRealNumber, NonnegativeRealNumber
Quantity	is second domain of AdditionFn
	is second domain of DivisionFn
	is second domain of greaterThan
	is second domain of greaterThanOrEqualTo
	is second domain of lessThan
	is second domain of lessThanOrEqualTo
	is second domain of MaxFn
	is second domain of MinFn
	is second domain of MultiplicationFn
	is second domain of RemainderFn
	is second domain of SubtractionFn
Abstract	is disjoint from Physical

Kinds of NonnegativeRealNumber :

• NonnegativeInteger (1 kind, 15 facts) - An Integer that is greater than or equal to zero
• PositiveRealNumber (1 kind, 19 facts) - A RealNumber that is greater than zero

Next RealNumber: Pi    Up: RealNumber    Previous RealNumber: NegativeRealNumber