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

tian2 chong1 (fills)

Holes can be filled. (fills obj hole) means that the Object obj fills the Hole hole. Note that fills here means perfectly filled.

Ontology

SUMO / MEREOTOPOLOGY

Class(es)

bu2 dui4 chen4 guan1 xi4
is instance of
  tian2 chong1  

Superrelation(s)

bu4 fen5 wei4 yu1
is subrelation of
  wei4 yu1  
is subrelation of
  bu4 fen5 tian2 chong1  
is subrelation of
  tian2 man3  
is subrelation of
bu4 fen5 wei4 yu1
is subrelation of
  wei4 yu1  
is subrelation of
  bu4 fen5 tian2 chong1  
is subrelation of
  shi4 dang4 tian2 chong1  
is subrelation of
is subrelation of
  tian2 chong1  

Coordinate term(s)

fan3 mian4 han2 shu4  ji4 shu4 han2 shu4  zheng4 mian4 han2 shu4  zhu3 ti1 han2 shu4  huo4 ran2 lv4 han2 shu4  biao3 pi2 han2 shu4  shu3 xing4  zuo4 zhe3  zhao4 yin1  ci4 lei4 zhao4 yin1  gong1 min2  feng1 bi4 yu1  tian2 man3  bao1 han2 xun4 xi1  xiang1 jiao1  ri4 qi1  fa1 zhan3 qi1 xing2 shi4  wen2 zi4 shuo1 ming2  chi2 xu4 shi2 jian1  bian1 zhe3  yuan2 su4  deng3 tong2 guan1 xi4 yu1  li4 yong4  yi3...yu3 yan2 biao3 da2  ci4 shu4  tu2 bu4 fen5  you3 yi4 tu2  you3 ji4 qiao3  zai4...qi1 jian1 wei2 zhen1  xu1 shi3...wei2 zhen1  you3 quan2 shi3...wei2 zhen1  dong4  tong2 yi1 yuan2 su4  zhi2 jie1 shi2 li4  zhi2 jie1 ci4 zhong3 lei4  chuan4 lie4 zhong1  zai4 zhu4 yi4 fan4 wei2 zhong1  ju1 zhu4  fei1 fan3 she4 yu1...  fang1 shi4/qing2 zhuang4  ce4 liang4  shi2 duan4 xiang1 jie1  cheng2 yuan2  qing2 tai4 shu3 xing4  Âù¿Ë  pian1 xu4 yu1...  bu4 fen5 tian2 chong1  lu4 jing4 chang2  chuan1 ru4  yong1 you3  xian1 jue2 tiao2 jian4  zheng4 bu4 fen5  shi4 dang4 tian2 chong1  chu1 ban3  fan4 wei2  fan4 wei2 ci4 zhong3 lei4  shi2 xian4  fan3 she4 yu1...  xu4 jie1 shu3 xing4  biao3 mian4  shi2 jian1 bu4 fen5  shi2 jian1  quan2 xu4 yu1...  san1 fen1 fa3  shi3 yong4  jie2 he2 jia4  ren2 zao4 wu4 ban3 ben3 

Type restrictions

fills(wu4 ti1, dong4)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (7)

If there exists time so_that_not obj (mei2) tian2 chong1s hole timea(zhi1 zhong1) time, then ke3 tian2 chong1 de5 shi4 hole de5 shu3 xing4. 
(=>
      (exists
            (?TIME)
            (holdsDuring
                  ?TIME
                  (fills ?OBJ ?HOLE)))
      (attribute ?HOLE Fillable))
If obj (mei2) shi4 dang4 tian2 chong1s hole1, then there exists hole2 so_that_not hole2 shi4 hole1 de5 bu4 fen5) and obj (mei2) tian2 chong1s hole2. 
(=>
      (properlyFills ?OBJ ?HOLE1)
      (exists
            (?HOLE2)
            (and
                  (part ?HOLE2 ?HOLE1)
                  (fills ?OBJ ?HOLE2))))
If obj1 (mei2) tian2 chong1s hole, then there exists obj2 so_that_not obj2 shi4 obj1 de5 bu4 fen5) and obj2 (mei2) tian2 chong1s hole. 
(=>
      (completelyFills ?OBJ1 ?HOLE)
      (exists
            (?OBJ2)
            (and
                  (part ?OBJ2 ?OBJ1)
                  (fills ?OBJ2 ?HOLE))))
tian2 chong1 na4 bu4 xiang1 guan1 yu1 ke3 tian2 chong1 de5. 
(relatedInternalConcept fills Fillable)
If obj1 (mei2) tian2 chong1s hole and ke3 tian2 chong1 de5 shi4 obj2 de5 shu3 xing4, then obj1 not(mei2) yu3 obj2 zhong4 die2. 
(=>
      (and
            (fills ?OBJ1 ?HOLE)
            (attribute ?OBJ2 Fillable))
      (not
            (overlapsSpatially ?OBJ1 ?OBJ2)))
If obj (mei2) tian2 chong1s hole1 and hole2 shi4 hole1 de5 zheng4 bu4 fen5, then obj (mei2) tian2 chong1s hole2. 
(=>
      (and
            (fills ?OBJ ?HOLE1)
            (properPart ?HOLE2 ?HOLE1))
      (completelyFills ?OBJ ?HOLE2))
If obj1 (mei2) tian2 chong1s hole and obj2 shi4 obj1 de5 zheng4 bu4 fen5, then obj2 (mei2) shi4 dang4 tian2 chong1s hole. 
(=>
      (and
            (fills ?OBJ1 ?HOLE)
            (properPart ?OBJ2 ?OBJ1))
      (properlyFills ?OBJ2 ?HOLE))