na4 bu4 (interiorPart)

(interiorPart obj1 obj2) means that obj1 is part obj2 and there is no overlap between obj1 and any superficialPart obj2.

Ontology

SUMO / MEREOTOPOLOGY

Class(es)

fei1 fan3 shen1 guan1 xi4
is instance of

ke3 di4 guan1 xi4
is instance of

na4 bu4

Superrelation(s)

bu4 fen5 wei4 yu1

wei4 yu1

bu4 fen5

na4 bu4

Coordinate term(s)

fan3 mian4 han2 shu4 zheng4 mian4 han2 shu4 shu3 xing4 xian1 yu1 yi3 lian2 jie2 gong1 cheng2 yuan2 jian4 xiang1 jiao1 jiang4 di1 ke3 neng2 xing4 fa1 zhan3 qi1 xing2 shi4 wu2 jiao1 ji2 qi1 jian1 jiao4 zao3 wan2 cheng2 tu2 bu4 fen5 da4 yu1 chuan4 lie4 zhong1 zeng1 jia1 ke3 neng2 xing4 yi4 zhi4 da4 yu1 xiao3 yu1 fang1 shi4/qing2 zhuang4 kong1 jian1 shang4 jie1 chu4 qing2 tai4 shu3 xing4 bu4 fen5 zhong4 die2 lu4 jing4 chang2 xian1 jue2 tiao2 jian4 bi4 mian3 zheng4 bu4 fen5 xiong1 di4 zi3 mei4 xiao3 yu1 kai1 shi3 ci4 ju4 ji2 ci4 tu2 ci4 zu3 zhi1 ci4 ji4 hua4 ci4 ming4 ti2 feng1 bi4 xu4 jie1 shu3 xing4 wai4 biao3 bu4 fen5 ren2 zao4 wu4 ban3 ben3

Related WordNet synsets

inside, interior: the inner or enclosed surface of something
inside, interior: the region that is inside of something

Axioms (2)

If obj1 shi4 obj2de5 wai4 biao3 bu4 fen5, then obj1 shi4 obj2 de5 yi1 na4 bu4 and there doesn't exist obj3 so_that_not obj3 shi4 obj1 de5 yi1 na4 bu4.

(=>
      (superficialPart ?OBJ1 ?OBJ2)
      (and
            (not
                  (interiorPart ?OBJ1 ?OBJ2))
            (not
                  (exists
                        (?OBJ3)
                        (interiorPart ?OBJ3 ?OBJ1)))))

if obj1 shi4 obj2 de5 yi1 na4 bu4,
then for all part holds: if part shi4 obj2de5 wai4 biao3 bu4 fen5, then obj1 not(mei2) yu3 part zhong4 die2

(=>
      (interiorPart ?OBJ1 ?OBJ2)
      (forall
            (?PART)
            (=>
                  (superficialPart ?PART ?OBJ2)
                  (not
                        (overlapsSpatially ?OBJ1 ?PART)))))