délková jednotka (LengthMeasure)

The Class of ConstantQuantities relating to length.

Ontologie

SUMO / UNITS-OF-MEASURE

Nadtřída(y)

entita

abstraktum

veličina

fyzikální veličina

konstantní veličina

délková jednotka

Podtřída(y)

meter centimeter angstrom foot inch mile

Související termín(y)

jednotka úhlu jednotka plochy jednotka měny jednotka informace jednotka hmotnosti jednotka teploty časová míra jednotka objemu

Constrains relations

speed fn velocity fn distance height length

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.

Axiomy (1)

jestliže obj1 je larger than obj2,
potom pro všechny quant1,quant2 platí: jestliže the measure of obj1 je "quant1 délková jednotka(s)" a the measure of obj2 je "quant2 délková jednotka(s)", potom quant1 je větší než quant2

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