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

NonnegativeRealNumber comparison table
Subject documentation be first domain of be second domain of partition into have axiom
NonnegativeIntegerAn Integer that is greater than or equal to zeroYearFnCardinalityFnOddInteger, EvenInteger
(instance ?SET FiniteSet)
(exists (?NUMBER)
(instance ?NUMBER NonnegativeInteger)
(equal ?NUMBER (CardinalityFn ?SET)))))
PositiveRealNumberA RealNumber that is greater than zeroSecondFnHourIntervalFnNegativeRealNumber, NonnegativeRealNumber
(instance ?NUMBER PositiveRealNumber)
(equal (SignumFn ?NUMBER) 1))

Next RealNumberPi    UpRealNumber    Previous RealNumberNegativeRealNumber