SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > Number > NonspecificNumber
Next NumberRealNumber    UpNumber    Previous NumberImaginaryNumber   

NonspecificNumber
subjectfact 
NonspecificNumberdocumentation A NonspecificNumber is used to indicate quantity of items when one cannot or does not want to say exactly how many items there are2001-11-30 13:34:49.0
is a kind of Number2001-11-30 13:34:49.0
Numberis first domain of RationalNumberFn2001-11-30 13:34:50.0
is first domain of RealNumberFn2001-11-30 13:34:50.0
Quantityis second domain of AdditionFn2001-11-30 13:35:06.0
is second domain of DivisionFn2001-11-30 13:35:06.0
is second domain of greaterThan2001-11-30 13:35:06.0
is second domain of greaterThanOrEqualTo2001-11-30 13:35:06.0
is second domain of lessThan2001-11-30 13:35:06.0
is second domain of lessThanOrEqualTo2001-11-30 13:35:06.0
is second domain of MaxFn2001-11-30 13:35:06.0
is second domain of MinFn2001-11-30 13:35:06.0
is second domain of MultiplicationFn2001-11-30 13:35:06.0
is second domain of RemainderFn2001-11-30 13:35:06.0
is second domain of SubtractionFn2001-11-30 13:35:06.0
Abstracthas axiom
(<=> 
(instance ?ABS Abstract)
(not
(exists (?POINT)
(or
(located ?ABS ?POINT)
(existant ?ABS ?POINT)))))
2001-11-30 13:33:32.0
is disjoint from Physical2001-11-30 13:33:32.0

Kinds of NonspecificNumber :

Next NumberRealNumber    UpNumber    Previous NumberImaginaryNumber