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 (<=> | |
is disjoint from Physical |
Kinds of Number :
Next Quantity: PhysicalQuantity Up: Quantity