unit of measure (UnitOfMeasure)

A standard of measurement for some dimension. For example, the Meter is a UnitOfMeasure for the dimension of length, as is the Inch. There is no intrinsic property of a UnitOfMeasure that makes it primitive or fundamental; rather, a system of units (e.g. SystemeInternationalUnit) defines a set of orthogonal dimensions and assigns units for each.

Ontology

SUMO / UNITS-OF-MEASURE

Superclass(es)

entity

abstract

quantity

physical quantity

unit of measure

Instance(s)

liter centimeter day duration hour duration minute duration week duration year duration amu electron volt angstrom foot inch mile united states gallon quart pint cup ounce united kingdom gallon atom gram pound mass slug rankine degree fahrenheit degree pound force calorie british thermal unit angular degree united states dollar united states cent euro dollar euro cent bit byte kilo byte mega byte

Subclass(es)

systeme international unit

Coordinate term(s)

constant quantity function quantity

Constrains relations

giga fn kilo fn measure fn mega fn micro fn milli fn nano fn pico fn tera fn

Related WordNet synsets

unit of measurement, unit: any division of quantity accepted as a standard of measurement or exchange; "the dollar is the United States unit of currency"; "a unit of wheat is a bushel"; "change per unit volume"

See more related synsets on a separate page.

Axioms (11)

if rel is an instance of relation extended to quantities and rel is an instance of ternary relation and number1 is an instance of real number and number2 is an instance of real number and rel(number1,number2,value) holds,
then for all unit holds: if unit is an instance of unit of measure, then rel("number1 unit(s)","number2 unit(s)","value unit(s)") holds

(=>
      (and
            (instance ?REL RelationExtendedToQuantities)
            (instance ?REL TernaryRelation)
            (instance ?NUMBER1 RealNumber)
            (instance ?NUMBER2 RealNumber)
            (holds ?REL ?NUMBER1 ?NUMBER2 ?VALUE))
      (forall
            (?UNIT)
            (=>
                  (instance ?UNIT UnitOfMeasure)
                  (holds
                        ?REL
                        (MeasureFn ?NUMBER1 ?UNIT)
                        (MeasureFn ?NUMBER2 ?UNIT)
                        (MeasureFn ?VALUE ?UNIT)))))

if rel is an instance of relation extended to quantities and rel is an instance of binary relation and number1 is an instance of real number and number2 is an instance of real number and rel(number1,number2) holds,
then for all unit holds: if unit is an instance of unit of measure, then rel("number1 unit(s)","number2 unit(s)") holds

(=>
      (and
            (instance ?REL RelationExtendedToQuantities)
            (instance ?REL BinaryRelation)
            (instance ?NUMBER1 RealNumber)
            (instance ?NUMBER2 RealNumber)
            (holds ?REL ?NUMBER1 ?NUMBER2))
      (forall
            (?UNIT)
            (=>
                  (instance ?UNIT UnitOfMeasure)
                  (holds
                        ?REL
                        (MeasureFn ?NUMBER1 ?UNIT)
                        (MeasureFn ?NUMBER2 ?UNIT)))))

If unit is an instance of unit of measure, then "1 thousand units" is equal to " unit(s)".

(=>
      (instance ?UNIT UnitOfMeasure)
      (equal
            (KiloFn ?UNIT)
            (MeasureFn 1000 ?UNIT)))

If unit is an instance of unit of measure, then "1 million units" is equal to " unit(s)".

(=>
      (instance ?UNIT UnitOfMeasure)
      (equal
            (MegaFn ?UNIT)
            (MeasureFn 1000000 ?UNIT)))

If unit is an instance of unit of measure, then "1 billion units " is equal to " unit(s)".

(=>
      (instance ?UNIT UnitOfMeasure)
      (equal
            (GigaFn ?UNIT)
            (MeasureFn 1000000000 ?UNIT)))

If unit is an instance of unit of measure, then "1 trillion units" is equal to " unit(s)".

(=>
      (instance ?UNIT UnitOfMeasure)
      (equal
            (TeraFn ?UNIT)
            (MeasureFn 1000000000000 ?UNIT)))

If unit is an instance of unit of measure, then "one thousandth of a unit" is equal to " unit(s)".

(=>
      (instance ?UNIT UnitOfMeasure)
      (equal
            (MilliFn ?UNIT)
            (MeasureFn 0.001 ?UNIT)))

If unit is an instance of unit of measure, then "one millionth of a unit" is equal to " unit(s)".

(=>
      (instance ?UNIT UnitOfMeasure)
      (equal
            (MicroFn ?UNIT)
            (MeasureFn 0.000001 ?UNIT)))

If unit is an instance of unit of measure, then "one billionth of a unit" is equal to " unit(s)".

(=>
      (instance ?UNIT UnitOfMeasure)
      (equal
            (NanoFn ?UNIT)
            (MeasureFn 0.000000001 ?UNIT)))

If unit is an instance of unit of measure, then "one trillionth of a unit" is equal to " unit(s)".

(=>
      (instance ?UNIT UnitOfMeasure)
      (equal
            (PicoFn ?UNIT)
            (MeasureFn 0.000000000001 ?UNIT)))

If number is an instance of real number and unit is an instance of unit of measure, then "the magnitude of "number unit(s)"" is equal to number.

(=>
      (and
            (instance ?NUMBER RealNumber)
            (instance ?UNIT UnitOfMeasure))
      (equal
            (MagnitudeFn
                  (MeasureFn ?NUMBER ?UNIT))
            ?NUMBER))