| Shoulder(shoulder)
| | shoulder |
| appearance as argument number 1 |
|
|
| (documentation Shoulder EnglishLanguage "The part of a Primate between the Arm and the neck.") | Mid-level-ontology.kif 13000-13001 | |
| (externalImage Shoulder "http://upload.wikimedia.org/wikipedia/commons/thumb/ 9/ 90/ Shoulderjoint.PNG/ 300px-Shoulderjoint.PNG") | pictureList.kif 1250-1250 | |
| (subclass Shoulder AnimalAnatomicalStructure) | Mid-level-ontology.kif 12998-12998 | Shoulder is a subclass of animal anatomical structure |
| (subclass Shoulder BodyPart) | Mid-level-ontology.kif 12999-12999 | Shoulder is a subclass of body part |
| appearance as argument number 2 |
|
|
| (initialPart ShoulderGirdleBone Shoulder) | Anatomy.kif 216-216 | Every shoulder girdle bone is initially part of a shoulder |
| (termFormat ChineseLanguage Shoulder "肩") | domainEnglishFormat.kif 52903-52903 | Every shoulder girdle bone is initially part of a shoulder |
| (termFormat ChineseTraditionalLanguage Shoulder "肩") | domainEnglishFormat.kif 52902-52902 | Every shoulder girdle bone is initially part of a shoulder |
| (termFormat EnglishLanguage Shoulder "shoulder") | domainEnglishFormat.kif 52901-52901 | Every shoulder girdle bone is initially part of a shoulder |
| antecedent |
|
|
| (=> (instance ?SHOULDER Shoulder) (exists (?PRIMATE) (and (instance ?PRIMATE Primate) (part ?SHOULDER ?PRIMATE)))) |
Mid-level-ontology.kif 13003-13008 |
|
| consequent |
|
|
| (=> (and (instance ?SHRUG Shrugging) (patient ?SHRUG ?SHOULDER)) (instance ?SHOULDER Shoulder)) |
Mid-level-ontology.kif 20232-20236 |
|
| statement |
|
|
| (subclass LeftShoulder (BodySideFn Left Shoulder)) |
Medicine.kif 2870-2870 | Left shoulder is a subclass of the left shoulder |
| (subclass RightElbow (BodySideFn Right Shoulder)) |
Medicine.kif 2873-2873 | Right elbow is a subclass of the right shoulder |
|
|
|