Längemass (LengthMeasure)

The Class of ConstantQuantities relating to length.

Ontology

SUMO / UNITS-OF-MEASURE

Superclass(es)

Wesen

abstrakter Gegenstand

Eigenschaft

körperliche Quantität

konstante Quantität

Längemass

Subclass(es)

meter centimeter angstrom foot inch mile

Coordinate term(s)

Winkelmass Bereichmass Währungma Informationenmass Massenmass Temperaturmass Zeitmass Volumenmass

Constrains relations

GeschwindigkeitFn %1 &%pro &2 in %3 in der Richtung %4 abstand höhe länge

Related WordNet synsets

space: the unlimited 3-dimensional expanse in which everything is located; "they tested his ability to locate objects in space"
length: the linear extent in space from one end to the other; the longest horizontal dimension of something that is fixed in place; "the length of the table was 5 feet"
linear measure, long measure: a measure of length

See more related synsets on a separate page.

Axioms (1)

wenn obj1 ist grösser als obj2,
dann für jeden quant1,quant2 gilt: wenn das mass von obj1 ist "quant1 Längemass(s)" und das mass von obj2 ist "quant2 Längemass(s)" , dann quant1 ist grösserAls quant2

(=>
      (larger ?OBJ1 ?OBJ2)
      (forall
            (?QUANT1 ?QUANT2)
            (=>
                  (and
                        (measure
                              ?OBJ1
                              (MeasureFn ?QUANT1 LengthMeasure))
                        (measure
                              ?OBJ2
                              (MeasureFn ?QUANT2 LengthMeasure)))
                  (greaterThan ?QUANT1 ?QUANT2))))