This ontology models geographic amounts
Property of a measurement function which holds that sums in the funtion's domain are preserved in the range.
A measurement from some amount to another amount
A measurement function where both the the domain and range are populated by amounts.
Quantities that are sizes, extents, or effects of amounts in terms of a unit.
Domain of quantities that are sizes, extents, or effects of amounts in terms of a unit.
A measurement where both the argument and value are additive and subtractive with respect to other measurements of the same kind (i.e. those that stem from the same measurement function).
A measurement function where additive and subtractive relations in the domain are embedded in the range.
A measurement that is not an extensive relation.
A measurement function that is intensive, i.e. not extensive.
Quantities that denote a degree of greatness, i.e. a size or effect.
Domain of quantities that denote a degree of greatness, i.e. a size or effect.
A measurement from an amount to a magnitude.
A measurement function with an amount as control and a magnitude as measure
A relation which may be written as a tuple (x,m,y) where x,y are quantities and m refers to a measurement function such that x(m)=y.
A function that takes some quantity and yields another quantity.
Magnitude that denote proportions between Archimedean magnitudes, similar to how scalars may multiply vectors.
Domain of magnitudes that denote proportions between Archimedean magnitudes, similar to how scalars may multiply vectors.
That by which the absolute or relative greatness of things and stuff are contained.
Property of a measurement function which holds that subtraction relations in the funtion's domain are preserved in the range.
An accumulation amount is an element of an amount domain that is measured by an accumulation measurement function. The latter is controlled by some amount of time.