| 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 14048-14049 | |
| (externalImage BodyJunction "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 16/ Knee_diagram.png/ 250px-Knee_diagram.png") | pictureList.kif 1052-1052 | |
| (subclass BodyJunction BodyPart) | Merge.kif 14047-14047 |
| appearance as argument number 2 |
|
|
| (subclass BodyJoint BodyJunction) | Mid-level-ontology.kif 9068-9068 | |
| (termFormat ChineseLanguage BodyJunction "身体连接处") | chinese_format.kif 1020-1020 | |
| (termFormat EnglishLanguage BodyJunction "body junction") | english_format.kif 1257-1257 |
| antecedent |
|
|
| (=> (instance ?JUNCT BodyJunction) (exists (?OBJ1 ?OBJ2) (and (instance ?OBJ1 BodyPart) (instance ?OBJ2 BodyPart) (connects ?JUNCT ?OBJ1 ?OBJ2)))) |
Merge.kif 14051-14057 |
|
|
|