bu4 fen5 tian2 chong1 (partiallyFills)

(partiallyFills obj hole) means that obj completelyFills some part of hole. Note that if (partiallyFills obj1 hole) and (part obj1 obj2), then (partiallyFills obj2 hole). Note too that a partial filler need not be wholly inside a hole (it may stick out), which means that every complete filler also qualifies as (is a limit case of) a partial one.

Ontology

SUMO / MEREOTOPOLOGY

Class(es)

zhong3 lei4

ke3 ji4 cheng2 guan1 xi4

kong1 jian1 guan1 xi4
is instance of

bu2 dui4 chen4 guan1 xi4
is instance of

bu4 fen5 tian2 chong1

Superrelation(s)

bu4 fen5 wei4 yu1

wei4 yu1

bu4 fen5 tian2 chong1

Subrelation(s)

shi4 dang4 tian2 chong1 tian2 man3

Coordinate term(s)

fan3 mian4 han2 shu4 ji4 shu4 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 huo4 ran2 lv4 han2 shu4 biao3 pi2 han2 shu4 wei4 zhi4 han2 shu4 shu3 xing4 zuo4 zhe3 jie4 yu1 zhao4 yin1 ci4 lei4 zhao4 yin1 gong1 min2 feng1 bi4 yu1 tian2 man3 xiang1 lian2 de5 xiang1 lian2 bao1 han2 xun4 xi1 xiang1 jiao1 ri4 qi1 fa1 zhan3 qi1 xing2 shi4 ju4 li2 wen2 zi4 shuo1 ming2 chi2 xu4 shi2 jian1 bian1 zhe3 yuan2 su4 deng3 tong2 guan1 xi4 yu1 li4 yong4 yi3...yu3 yan2 biao3 da2 tian2 chong1 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... da4 yu1 fang1 shi4/qing2 zhuang4 ce4 liang4 shi2 duan4 xiang1 jie1 cheng2 yuan2 qing2 tai4 shu3 xing4 xiang4 dui4 fang1 wei4 雙親 bu4 fen5 pian1 xu4 yu1... bu4 fen5 wei4 yu1 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... xiao3 yu1 xu4 jie1 shu3 xing4 biao3 mian4 shi2 jian1 bu4 fen5 shi2 jian1 quan2 xu4 yu1... heng2 yue4 san1 fen1 fa3 shi3 yong4 jie2 he2 jia4 ren2 zao4 wu4 ban3 ben3

Type restrictions

partiallyFills(wu4 ti1, dong4)

Related WordNet synsets

containment: the act of containing something

See more related synsets on a separate page.

Axioms (1)

If obj (mei2) bu4 fen5 tian2 chong1s hole1, then there exists hole2 so_that_not hole2 shi4 hole1 de5 bu4 fen5) and obj (mei2) tian2 chong1s hole2.

(=>
      (partiallyFills ?OBJ ?HOLE1)
      (exists
            (?HOLE2)
            (and
                  (part ?HOLE2 ?HOLE1)
                  (completelyFills ?OBJ ?HOLE2))))