SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity
Next AbstractAttribute    UpAbstract    Previous AbstractProposition   

Quantity
subjectfact 
Quantitydocumentation Any specification of how many or how much of something there is. Accordingly, there are two subclasses of Quantity: Number (how many) and PhysicalQuantity (how much)2001-11-30 13:35:06.0
is first domain of AdditionFn2001-11-30 13:35:06.0
is first domain of DivisionFn2001-11-30 13:35:06.0
is first domain of ExponentiationFn2001-11-30 13:35:06.0
is first domain of greaterThan2001-11-30 13:35:06.0
is first domain of greaterThanOrEqualTo2001-11-30 13:35:06.0
is first domain of lessThan2001-11-30 13:35:06.0
is first domain of lessThanOrEqualTo2001-11-30 13:35:06.0
is first domain of MaxFn2001-11-30 13:35:06.0
is first domain of MinFn2001-11-30 13:35:06.0
is first domain of MultiplicationFn2001-11-30 13:35:06.0
is first domain of ReciprocalFn2001-11-30 13:35:06.0
is first domain of RemainderFn2001-11-30 13:35:06.0
is first domain of RoundFn2001-11-30 13:35:06.0
is first domain of SubtractionFn2001-11-30 13:35:06.0
is 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
is a kind of Abstract2001-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 Quantity :

Next AbstractAttribute    UpAbstract    Previous AbstractProposition