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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BodyJunction

Sigma KEE - BodyJunction
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 15133-15134
(externalImage BodyJunction "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 16/ Knee_diagram.png/ 250px-Knee_diagram.png") pictureList.kif 1051-1051
(subclass BodyJunction BodyPart) Merge.kif 15132-15132

appearance as argument number 2
-------------------------


(subclass BodyJoint BodyJunction) Mid-level-ontology.kif 11730-11730
(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

antecedent
-------------------------


(=>
    (instance ?JUNCT BodyJunction)
    (exists (?OBJ1 ?OBJ2)
        (and
            (instance ?OBJ1 BodyPart)
            (instance ?OBJ2 BodyPart)
            (connects ?JUNCT ?OBJ1 ?OBJ2))))
Merge.kif 15136-15142


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

Show without tree


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