SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > Number > RealNumber > NonnegativeRealNumber
Next RealNumberPi    UpRealNumber    Previous RealNumberNegativeRealNumber   

NonnegativeRealNumber
subjectfact 
NonnegativeRealNumberdocumentation A RealNumber that is greater than or equal to zero2001-11-30 13:34:49.0
has axiom
(=>
(instance ?NUMBER NonnegativeRealNumber)
(greaterThanOrEqualTo ?NUMBER 0))
2001-11-30 13:34:49.0
has axiom
(=>
(instance ?NUMBER NonnegativeRealNumber)
(or
(equal (SignumFn ?NUMBER) 1)
(equal (SignumFn ?NUMBER) 0)))
2001-11-30 13:34:49.0
is a kind of RealNumber2001-11-30 13:34:49.0
RealNumberis first domain of AbsoluteValueFn2001-11-30 13:35:08.0
is first domain of ArcCosineFn2001-11-30 13:35:08.0
is first domain of ArcSineFn2001-11-30 13:35:08.0
is first domain of ArcTangentFn2001-11-30 13:35:08.0
is first domain of CeilingFn2001-11-30 13:35:08.0
is first domain of DenominatorFn2001-11-30 13:35:08.0
is first domain of FloorFn2001-11-30 13:35:08.0
is first domain of IntegerSquareRootFn2001-11-30 13:35:08.0
is first domain of LogFn2001-11-30 13:35:08.0
is first domain of MeasureFn2001-11-30 13:35:08.0
is first domain of NumeratorFn2001-11-30 13:35:08.0
is first domain of SignumFn2001-11-30 13:35:08.0
is first domain of SquareRootFn2001-11-30 13:35:08.0
is partitioned into NegativeRealNumber, NonnegativeRealNumber2001-11-30 13:35:08.0
Quantityis second domain of AdditionFn2001-11-30 13:35:06.0
is second domain of DivisionFn2001-11-30 13:35:06.0
is second domain of greaterThan2001-11-30 13:35:06.0
is second domain of greaterThanOrEqualTo2001-11-30 13:35:06.0
is second domain of lessThan2001-11-30 13:35:06.0
is second domain of lessThanOrEqualTo2001-11-30 13:35:06.0
is second domain of MaxFn2001-11-30 13:35:06.0
is second domain of MinFn2001-11-30 13:35:06.0
is second domain of MultiplicationFn2001-11-30 13:35:06.0
is second domain of RemainderFn2001-11-30 13:35:06.0
is second domain of SubtractionFn2001-11-30 13:35:06.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0

Kinds of NonnegativeRealNumber :

Next RealNumberPi    UpRealNumber    Previous RealNumberNegativeRealNumber