Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - BodyJunction

appearance as argument number 1

(documentation BodyJunction ChineseLanguage "这是两个 BodyPart 接触或相连的部位。") chinese_format.kif 3513-3513
(documentation BodyJunction EnglishLanguage "The place where two BodyParts meet or connect.") Merge.kif 15087-15088
(externalImage BodyJunction " thumb/ 1/ 16/ Knee_diagram.png/ 250px-Knee_diagram.png") pictureList.kif 1051-1051
(subclass BodyJunction BodyPart) Merge.kif 15086-15086 身体连接处身体部位subclass

appearance as argument number 2

(subclass BodyJoint BodyJunction) Mid-level-ontology.kif 11703-11703 身体关节身体连接处subclass
(termFormat ChineseLanguage BodyJunction "身体连接处") chinese_format.kif 1020-1020
(termFormat EnglishLanguage BodyJunction "body junction") english_format.kif 1252-1252
(termFormat FrenchLanguage BodyJunction "junction de parties du corps") french_format.kif 698-698
(termFormat Hindi BodyJunction "shaarIrika sandhi") terms-hindi.txt 229-229
(termFormat ItalianLanguage BodyJunction "Giuntura") terms-it.txt 232-232
(termFormat JapaneseLanguage BodyJunction "ボディジャンクション") japanese_format.kif 2381-2381
(termFormat PortugueseLanguage BodyJunction "junta de partes do corpo") portuguese_format.kif 650-650
(termFormat cz BodyJunction "body junction") terms-cz.txt 267-267
(termFormat ro BodyJunction "articulaþie") relations-ro.kif 719-719
(termFormat tg BodyJunction "salikop ng katawan") terms-tg.txt 233-233


    (instance ?JUNCT BodyJunction)
    (exists (?OBJ1 ?OBJ2)
            (instance ?OBJ1 BodyPart)
            (instance ?OBJ2 BodyPart)
            (connects ?JUNCT ?OBJ1 ?OBJ2))))
Merge.kif 15090-15096

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners