 SUMO   View all facts   Glossary   Help Entity > Abstract > Quantity
Next AbstractAttribute    UpAbstract    Previous AbstractProposition  Quantity subject fact
 Quantity documentation 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) is first domain of AdditionFn is first domain of DivisionFn is first domain of ExponentiationFn is first domain of greaterThan is first domain of greaterThanOrEqualTo is first domain of lessThan is first domain of lessThanOrEqualTo is first domain of MaxFn is first domain of MinFn is first domain of MultiplicationFn is first domain of ReciprocalFn is first domain of RemainderFn is first domain of RoundFn is first domain of SubtractionFn 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 is a kind of Abstract Abstract has axiom `(<=> (instance ?ABS Abstract) (not (exists (?POINT) (or (located ?ABS ?POINT) (existant ?ABS ?POINT)))))` is disjoint from Physical Kinds of Quantity :

• Number (19 kinds, 108 facts) - 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)
• PhysicalQuantity (127 kinds, 524 facts) - A PhysicalQuantity is a measure of some quantifiable aspect of the modeled world, such as 'the earth's diameter' (a constant length) and 'the stress in a loaded deformable solid' (a measure of stress, which is a function of three spatial coordinates). All PhysicalQuantities are either ConstantQuantities or FunctionQuantities. Instances of ConstantQuantity are dependent on a UnitOfMeasure, while instances of FunctionQuantity are Functions that map instances of ConstantQuantity to other instances of ConstantQuantity (e.g., TimeDependentQuantities are FunctionQuantities). Although the name and definition of PhysicalQuantity is borrowed from physics, PhysicalQuantities need not be material. Aside from the dimensions of length, time, velocity, etc., nonphysical dimensions such as currency are also possible. Accordingly, amounts of money would be instances of PhysicalQuantity. PhysicalQuantities are distinguished from Numbers by the fact that the former are associated with a dimension of measurement Next AbstractAttribute    UpAbstract    Previous AbstractProposition