Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Elbow(elbow)
|  | articulatio_cubiti, cubital_joint, cubitus, elbow, elbow_joint, human_elbow |
| appearance as argument number 1 |
|
|
| (subclass Elbow BodyJoint) | Mid-level-ontology.kif 14352-14352 | Elbow is a subclass of body joint |
| (documentation Elbow EnglishLanguage "The joint in the Arm connecting the forearm and the upper arm.") | Mid-level-ontology.kif 14353-14354 | Elbow is a subclass of body joint |
| (externalImage Elbow "http://upload.wikimedia.org/wikipedia/commons/5/5c/ Elbow_coude.JPG") | pictureList.kif 4670-4670 | Elbow is a subclass of body joint |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?E Elbow) (exists (?A) (and (instance ?A Arm) (part ?E ?A)))) |
Mid-level-ontology.kif 14356-14361 | If X is an instance of elbow, then there exists Y such that Y is an instance of arm and X is a part of Y |
| statement |
|
|
| (subclass LeftElbow (BodySideFn Left Elbow)) |
Medicine.kif 2870-2870 | Left elbow is a subclass of the left of elbow |
| (subclass RightElbow (BodySideFn Right Elbow)) |
Medicine.kif 2873-2873 | Right elbow is a subclass of the right of elbow |
|