PhysicalQuantity | documentation 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 | |
is partitioned into ConstantQuantity, FunctionQuantity | |
is a kind of Quantity | |
Quantity | 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 | |
Abstract | has axiom (<=> (instance ?ABS Abstract) (not (exists (?POINT) (or (located ?ABS ?POINT) (existant ?ABS ?POINT)))))
| |
is disjoint from Physical | |