| 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 14980-14981 | |
| (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 14979-14979 | Body junction is a subclass of body part |
| appearance as argument number 2 |
|
|
| (subclass BodyJoint BodyJunction) | Mid-level-ontology.kif 11638-11638 | Body joint is a subclass of body junction |
| (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 230-230 | |
| (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 14983-14989 |
|
|
|
|