|
|
   Elbow
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Elbow EnglishLanguage "The joint in the Arm connecting the forearm and the upper arm.") | Mid-level-ontology.kif 14061-14062 | |
| (externalImage Elbow "http://upload.wikimedia.org/wikipedia/commons/5/5c/ Elbow_coude.JPG") | pictureList.kif 4670-4670 | |
| (subclass Elbow BodyJoint) | Mid-level-ontology.kif 14060-14060 | Elbow is a subclass of BodyJoint |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Elbow "手肘") | domainEnglishFormat.kif 21410-21410 | |
| (termFormat ChineseTraditionalLanguage Elbow "手肘") | domainEnglishFormat.kif 21409-21409 | |
| (termFormat EnglishLanguage Elbow "elbow") | domainEnglishFormat.kif 21408-21408 |
| antecedent |
|
|
| (=> (instance ?E Elbow) (exists (?A) (and (instance ?A Arm) (part ?E ?A)))) |
Mid-level-ontology.kif 14064-14069 |
|
| statement |
|
|
| (subclass LeftElbow (BodySideFn Left Elbow)) |
Medicine.kif 2865-2865 | LeftElbow is a subclass of BodySideFn Left and Elbow |
| (subclass RightElbow (BodySideFn Right Elbow)) |
Medicine.kif 2868-2868 | RightElbow is a subclass of BodySideFn Right and Elbow |
|
|
|
