| BodyJunction(junction de parties du corps)
| |
| 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 15240-15241 | |
| (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 15239-15239 | Junction de parties du corps est une sous-classe de partie du corps |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?JUNCT BodyJunction) (exists (?OBJ1 ?OBJ2) (and (instance ?OBJ1 BodyPart) (instance ?OBJ2 BodyPart) (connects ?JUNCT ?OBJ1 ?OBJ2)))) |
Merge.kif 15243-15249 |
|
|
|
|