qu1 ti3 jie1 dian3 (BodyJunction)
The place where two BodyParts
meet or connect.
Ontology
SUMO / OBJECTSSuperclass(es)
Coordinate term(s)
qu1 ti3 biao3 mian4 fu4 gai4 wu4
mai4 guan3 huo4 dao3 guan3
xi4 bao1
shu1 guo3
qi4 guan1
Related WordNet synsets
See more related synsets on a separate page.
Axioms (2)
If junct shi4 qu1 ti3 jie1 dian3 de5 shi2 li4, then there exists qu1 ti3 bu4 jian4 struct so_that_not junct shi4 struct de5 yuan2 jian4.
(=>
(instance ?JUNCT BodyJunction)
(exists
(?STRUCT)
(and
(instance ?STRUCT BodyPart)
(component ?JUNCT ?STRUCT))))
If junct shi4 qu1 ti3 jie1 dian3 de5 shi2 li4, then there exist qu1 ti3 bu4 jian4 struct1,qu1 ti3 bu4 jian4 struct2 so_that_not junct yu3 struct1 xiang1 lian2 and junct yu3 struct2 xiang1 lian2 and struct1 deng3 yu1 struct2.
(=>
(instance ?JUNCT BodyJunction)
(exists
(?STRUCT1 ?STRUCT2)
(and
(connected ?JUNCT ?STRUCT1)
(connected ?JUNCT ?STRUCT2)
(instance ?STRUCT1 BodyPart)
(instance ?STRUCT2 BodyPart)
(not
(equal ?STRUCT1 ?STRUCT2)))))