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 |