Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

ju4 li2 (distance)

(distance obj1 obj2 quant) means that the shortest distance between the two objects obj1 and obj2 is quant. Note that the difference between the predicates length and distance is that the length is used to state the LengthMeasure of one of the dimensions of a single object, while distance is used to state the LengthMeasure that separates two distinct objects.

Ontology

SUMO / UNITS-OF-MEASURE

Class(es)

zhong3 lei4
is instance of
  ke3 ji4 cheng2 guan1 xi4  
is instance of
  dan1 zhi2 guan1 xi4  
is instance of
zhong3 lei4
is instance of
  ke3 ji4 cheng2 guan1 xi4  
is instance of
  kong1 jian1 guan1 xi4  
is instance of
zhong3 lei4
is instance of
  ke3 ji4 cheng2 guan1 xi4  
is instance of
  san1 yuan2 shu4 ci2  
is instance of
is instance of
  ju4 li2  

Coordinate term(s)

fan3 mian4 han2 shu4  zheng4 mian4 han2 shu4  bu4 fen5 zheng3 ti1 cha4 yi4 han2 shu4  bu4 fen5 zheng3 ti1 jiao1 ji2 han2 shu4  bu4 fen5 zheng3 ti1 jia1 zong1 han2 shu4  zhu3 ti1 han2 shu4  biao3 pi2 han2 shu4  wei4 zhi4 han2 shu4  nian2 ji4  biao1 gao1  jie4 yu1  neng2 li4  tiao2 jian4 huo4 ran2 lv4  fu4 yu3 yi4 wu4  fu4 yu3 quan2 li4  xiang1 lian2 de5  xiang1 lian2  ri4 qi1  shen1 du4  ling3 yu4  ling3 yu4 ci4 zhong3 lei4  fu4 qin1  shi1 shi4 zhe3 you3 yi4 tu2  dong4  da4 yu1  lian2 jie2  huo4 bi4 jia4 zhi2  mu3 qin1  you3...zhi2 wei4  xiang4 dui4 fang1 wei4  bu4 fen5  bu4 fen5 tian2 chong1  bu4 fen5 wei4 yu1  pian1 ai4  SUMOwai4 bu4 xiang1 guan1 gai4 nian4  shi1 shi4 zhe3 cheng2 xian4  yi3...yu3 yan2 cheng2 xian4  xiao3 yu1  shi2 jian1 jie4 yu1  shi2 jian1 jie4 yu1 huo4 tong5 shi2  heng2 yue4  dan1 yi1 zhi3 cheng1  jie2 he2 jia4  kuan1 du4 

Type restrictions

distance(wu4 zhi4 de5, wu4 zhi4 de5, chang2 du4 dan1 wei4)

Related WordNet synsets

distance, length
a measure of the gap between two places; "the distance from New York to Chicago"; "he determined the length of the shortest line segment joining the two points"
distance is kind of (all)...   distance is kind of...   kinds of distance...   kinds of distance (all)...  
See more related synsets on a separate page.

Axioms (5)

If obj1 he2 obj2 zhi1 jian1 ju4 li2 shi4 quant, then obj2 he2 obj1 zhi1 jian1 ju4 li2 shi4 quant. 
(=>
      (distance ?OBJ1 ?OBJ2 ?QUANT)
      (distance ?OBJ2 ?OBJ1 ?QUANT))
If biao1 gao1(obj1,obj2,height) holds, then there exists top so_that_not obj1 de5 ding3 duan1 shi4 top and top he2 obj2 zhi1 jian1 ju4 li2 shi4 height. 
(=>
      (altitude ?OBJ1 ?OBJ2 ?HEIGHT)
      (exists
            (?TOP)
            (and
                  (top ?TOP ?OBJ1)
                  (distance ?TOP ?OBJ2 ?HEIGHT))))
If shen1 du4, then there exists bottom so_that_not obj1 de5 di3 bu4 shi4 bottom and bottom he2 obj2 zhi1 jian1 ju4 li2 shi4 depth. 
(=>
      (depth ?OBJ1 ?OBJ2 ?DEPTH)
      (exists
            (?BOTTOM)
            (and
                  (bottom ?BOTTOM ?OBJ1)
                  (distance ?BOTTOM ?OBJ2 ?DEPTH))))
object de5 kuan1 du4 shi4 width if and only if there exist side1,side2 so_that_not object de5 ce4 mian4 shi4 side1 and object de5 ce4 mian4 shi4 side2 and side1 he2 side2 zhi1 jian1 ju4 li2 shi4 width. 
(<=>
      (width ?OBJECT ?WIDTH)
      (exists
            (?SIDE1 ?SIDE2)
            (and
                  (side ?SIDE1 ?OBJECT)
                  (side ?SIDE2 ?OBJECT)
                  (distance ?SIDE1 ?SIDE2 ?WIDTH))))
If object de5 gao1 du4 shi4 height and object de5 ding3 duan1 shi4 top and object de5 di3 bu4 shi4 bottom, then top he2 bottom zhi1 jian1 ju4 li2 shi4 height. 
(=>
      (and
            (height ?OBJECT ?HEIGHT)
            (top ?TOP ?OBJECT)
            (bottom ?BOTTOM ?OBJECT))
      (distance ?TOP ?BOTTOM ?HEIGHT))