NonnegativeRealNumber Comparison Table

Next RealNumber: Pi Up: RealNumber Previous RealNumber: NegativeRealNumber

NonnegativeRealNumber comparison table

Subject documentation be first domain of be second domain of partition into have axiom

NonnegativeInteger An Integer that is greater than or equal to zero YearFn CardinalityFn OddInteger, EvenInteger
(=>
(instance ?SET FiniteSet)
(exists (?NUMBER)
(and
(instance ?NUMBER NonnegativeInteger)
(equal ?NUMBER (CardinalityFn ?SET)))))

PositiveRealNumber A RealNumber that is greater than zero SecondFn HourIntervalFn NegativeRealNumber, NonnegativeRealNumber
(=>
(instance ?NUMBER PositiveRealNumber)
(equal (SignumFn ?NUMBER) 1))

Subject	documentation	be first domain of	be second domain of	partition into	have axiom
NonnegativeInteger	An Integer that is greater than or equal to zero	YearFn	CardinalityFn	OddInteger, EvenInteger	(=> (instance ?SET FiniteSet) (exists (?NUMBER) (and (instance ?NUMBER NonnegativeInteger) (equal ?NUMBER (CardinalityFn ?SET)))))
PositiveRealNumber	A RealNumber that is greater than zero	SecondFn	HourIntervalFn	NegativeRealNumber, NonnegativeRealNumber	(=> (instance ?NUMBER PositiveRealNumber) (equal (SignumFn ?NUMBER) 1))

Next RealNumber: Pi Up: RealNumber Previous RealNumber: NegativeRealNumber