zheng4 bu4 fen5 (properPart)

(properPart obj1 obj2) means that obj1 is a part of obj2 other than obj2 itself. This is a TransitiveRelation and AsymmetricRelation (hence an IrreflexiveRelation).

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

bu2 dui4 chen4 guan1 xi4
is instance of

ke3 di4 guan1 xi4
is instance of

zheng4 bu4 fen5

Superrelation(s)

bu4 fen5 wei4 yu1

wei4 yu1

bu4 fen5

zheng4 bu4 fen5

Subrelation(s)

gong1 cheng2 ci4 yuan2 jian4

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 xian1 yu1 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 qi1 jian1 jiao4 zao3 bian1 zhe3 yuan2 su4 deng3 tong2 guan1 xi4 yu1 li4 yong4 yi3...yu3 yan2 biao3 da2 tian2 chong1 wan2 cheng2 ci4 shu4 tu2 bu4 fen5 da4 yu1 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 na4 bu4 fei1 fan3 she4 yu1... da4 yu1 xiao3 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 shi4 dang4 tian2 chong1 chu1 ban3 fan4 wei2 fan4 wei2 ci4 zhong3 lei4 shi2 xian4 fan3 she4 yu1... xiao3 yu1 kai1 shi3 ci4 ju4 ji2 ci4 tu2 ci4 zu3 zhi1 ci4 ji4 hua4 ci4 ming4 ti2 xu4 jie1 shu3 xing4 feng1 bi4 xu4 jie1 shu3 xing4 wai4 biao3 bu4 fen5 biao3 mian4 shi2 jian1 bu4 fen5 shi2 jian1 quan2 xu4 yu1... san1 fen1 fa3 shi3 yong4 jie2 he2 jia4 ren2 zao4 wu4 ban3 ben3

Related WordNet synsets

part, portion: something less than the whole of a human artifact: "the rear part of the house"; "glue the two parts together"

See more related synsets on a separate page.

Axioms (8)

obj1 shi4 obj2 de5 zheng4 bu4 fen5 if and only if obj1 shi4 obj2 de5 bu4 fen5) and obj2 shi4 obj1 de5 bu4 fen5).

(<=>
      (properPart ?OBJ1 ?OBJ2)
      (and
            (part ?OBJ1 ?OBJ2)
            (not
                  (part ?OBJ2 ?OBJ1))))

If hole zai4 obj1 shi4 dong4 and hole zai4 obj2 shi4 dong4, then there exists obj3 so_that_not obj3 shi4 "obj1 he2 obj2 de5 jiao1 ji2" de5 zheng4 bu4 fen5 and hole zai4 obj3 shi4 dong4.

(=>
      (and
            (hole ?HOLE ?OBJ1)
            (hole ?HOLE ?OBJ2))
      (exists
            (?OBJ3)
            (and
                  (properPart
                        ?OBJ3
                        (MereologicalProductFn ?OBJ1 ?OBJ2))
                  (hole ?HOLE ?OBJ3))))

If hole1 shi4 dong4 de5 shi2 li4, then there exists hole2 so_that_not hole2 shi4 hole1 de5 zheng4 bu4 fen5.

(=>
      (instance ?HOLE1 Hole)
      (exists
            (?HOLE2)
            (properPart ?HOLE2 ?HOLE1)))

If hole1 shi4 dong4 de5 shi2 li4 and hole2 shi4 hole1 de5 zheng4 bu4 fen5, then there exists obj so_that_not hole1 (mei2) jie1 chu4s obj and hole2 not(mei2) jie1 chu4 obj.

(=>
      (and
            (instance ?HOLE1 Hole)
            (properPart ?HOLE2 ?HOLE1))
      (exists
            (?OBJ)
            (and
                  (meetsSpatially ?HOLE1 ?OBJ)
                  (not
                        (meetsSpatially ?HOLE2 ?OBJ)))))

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))

If state shi4 zhou1 huo4 sheng3 de5 shi2 li4, then there exists guo2 jia1 land so_that_not state shi4 land de5 zheng4 bu4 fen5.

(=>
      (instance ?STATE StateOrProvince)
      (exists
            (?LAND)
            (and
                  (instance ?LAND Nation)
                  (properPart ?STATE ?LAND))))

If room shi4 fang2 jian1 de5 shi2 li4, then there exists jian4 zhu4 wu4 build so_that_not room shi4 build de5 zheng4 bu4 fen5.

(=>
      (instance ?ROOM Room)
      (exists
            (?BUILD)
            (and
                  (instance ?BUILD Building)
                  (properPart ?ROOM ?BUILD))))