SUMO   View all facts   Glossary   Help

Entity > Abstract > Quantity > Number

Number
subject			fact

Number	documentation A measure of how many things there are, or how much there is, of a certain kind. Numbers are subclassed into RealNumber and ComplexNumber (ImaginaryNumber is an instance of Number)
	is first domain of RationalNumberFn
	is first domain of RealNumberFn
	is a kind of Quantity
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	has axiom (<=> (instance ?ABS Abstract) (not (exists (?POINT) (or (located ?ABS ?POINT) (existant ?ABS ?POINT)))))
	is disjoint from Physical

Kinds of Number :

• ComplexNumber (5 facts) - A Number that consists of two components: a RealNumber and the ImaginaryNumber
• ImaginaryNumber (3 facts) - The square root of -1
• NonspecificNumber (2 kinds, 6 facts) - A NonspecificNumber is used to indicate quantity of items when one cannot or does not want to say exactly how many items there are
• RealNumber (13 kinds, 90 facts) - Any Number that can be expressed as a (possibly infinite) decimal, i.e. any Number that has a position on the number line

Next Quantity: PhysicalQuantity    Up: Quantity