SUMO   View all facts   Glossary   Help

Entity > Abstract > Quantity > Number > RealNumber > NegativeRealNumber

NegativeRealNumber
subject			fact

NegativeRealNumber	documentation A RealNumber that is less than zero
	has axiom (=> (instance ?NUMBER NegativeRealNumber) (lessThan ?NUMBER 0))
	has axiom (=> (instance ?NUMBER NegativeRealNumber) (equal (SignumFn ?NUMBER) -1))
	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 NegativeRealNumber :

• NegativeInteger (4 facts) - An Integer that is less than zero

Next RealNumber: NonnegativeRealNumber    Up: RealNumber    Previous RealNumber: BinaryNumber