SUMO View all facts Glossary Help |
Entity > Abstract > Quantity > Number > NonspecificNumber |
NonspecificNumber | ||||
subject | fact |
NonspecificNumber | documentation A NonspecificNumber is used to indicate quantity of items when one cannot or does not want to say exactly how many items there are | |
is a kind of Number | ||
Number | is first domain of RationalNumberFn | |
is first domain of RealNumberFn | ||
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 NonspecificNumber :
Next Number: RealNumber Up: Number Previous Number: ImaginaryNumber