SUMO   View all facts   Glossary   Help

Entity > Abstract > Quantity > Number > RealNumber > RationalNumber

RationalNumber
subject			fact

RationalNumber	documentation Any RealNumber that is the product of dividing two Integers
	has axiom (=> (instance ?NUMBER RationalNumber) (exists (?INT1 ?INT2) (and (instance ?INT1 Integer) (instance ?INT2 Integer) (equal ?NUMBER (DivisionFn ?INT1 ?INT2)))))
	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 RationalNumber :

• Integer (6 kinds, 47 facts) - A negative or nonnegative whole number

Next RealNumber: BinaryNumber    Up: RealNumber    Previous RealNumber: Pi