chang2 du4 dan1 wei4 (LengthMeasure)

The Class of ConstantQuantities relating to length.

Ontology

SUMO / UNITS-OF-MEASURE

Superclass(es)

shi2 ti3

chou1 xiang4 de5

shu4 liang4

wu4 li3 liang4

chang2 liang4

chang2 du4 dan1 wei4

Subclass(es)

gong1 chi3 gong1 fen1 guang1 pu3 xian4 bo1 zhang3 dan1 wei4 ying1 chi3 ying1 cun4 ying1 li3

Coordinate term(s)

jiao3 du4 dan1 wei4 mian4 ji1 dan1 wei4 hui4 lv4 dan1 wei4 zi1 xun4 dan1 wei4 zhi4 liang4 dan1 wei4 wen1 du4 dan1 wei4 shi2 jian1 dan1 wei4 ti3 ji1 dan1 wei4

Constrains relations

su4 du4 han2 shu4 su4 lv4 han2 shu4 ju4 li2 gao1 du4 chang2 du4

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)

if obj1 da4 yu1 obj2,
then for all quant1,quant2 holds: if obj1 de5 ce4 liang4 shi4 "quant1 chang2 du4 dan1 wei4(s)" and obj2 de5 ce4 liang4 shi4 "quant2 chang2 du4 dan1 wei4(s)", then quant1 (bu2) da4 yu1 quant2

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