Masseinheit (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)

Wesen

abstrakter Gegenstand

Eigenschaft

körperliche Quantität

Masseinheit

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 internationale Masseinheit

Coordinate term(s)

konstante Quantität Funktionsquantität

Constrains relations

GigaFn KiloFn MassFn MegaFn MicroFn MilliFn NanoFn PicoFn TeraFn

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)

wenn rel ist ein fall von Relation erweitert auf Quantitäten und rel ist ein fall von dreiwertige Relation und number1 ist ein fall von reelle Zahl und number2 ist ein fall von reelle Zahl und rel(number1,number2,value) gilt ,
dann für jeden unit gilt: wenn unit ist ein fall von Masseinheit , dann rel("number1 unit(s)","number2 unit(s)","value unit(s)") gilt

(=>
      (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)))))

wenn rel ist ein fall von Relation erweitert auf Quantitäten und rel ist ein fall von zweiwertige Relation und number1 ist ein fall von reelle Zahl und number2 ist ein fall von reelle Zahl und rel(number1,number2) gilt ,
dann für jeden unit gilt: wenn unit ist ein fall von Masseinheit , dann rel("number1 unit(s)","number2 unit(s)") gilt

(=>
      (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)))))

Wenn unit ist ein fall von Masseinheit , dann "1 tausend unit" ist gleich " unit(s)" .

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

Wenn unit ist ein fall von Masseinheit , dann "1 million unit" ist gleich " unit(s)" .

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

Wenn unit ist ein fall von Masseinheit , dann "1 milliarde unit" ist gleich " unit(s)" .

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

Wenn unit ist ein fall von Masseinheit , dann "1 trillion unit" ist gleich " unit(s)" .

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

Wenn unit ist ein fall von Masseinheit , dann "ein tausendstes einer unit" ist gleich " unit(s)" .

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

Wenn unit ist ein fall von Masseinheit , dann "ein millionstel einer unit" ist gleich " unit(s)" .

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

Wenn unit ist ein fall von Masseinheit , dann "ein milliardstel einer unit" ist gleich " unit(s)" .

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

Wenn unit ist ein fall von Masseinheit , dann "ein trillionstel einer unit" ist gleich " unit(s)" .

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

Wenn number ist ein fall von reelle Zahl und unit ist ein fall von Masseinheit , dann "die grösse von "number unit(s)"" ist gleich number .

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