| 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 13678-13679 | |
| (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 13676-13676 | Shoulder is a subclass of animal anatomical structure |
| (subclass Shoulder BodyPart) | Mid-level-ontology.kif 13677-13677 | Shoulder is a subclass of body part |
| appearance as argument number 2 |
|
|
| (initialPart ShoulderGirdleBone Shoulder) | Anatomy.kif 215-215 | Every shoulder girdle bone is initially part of a shoulder |
| (termFormat ChineseLanguage Shoulder "肩") | domainEnglishFormat.kif 52896-52896 | Every shoulder girdle bone is initially part of a shoulder |
| (termFormat ChineseTraditionalLanguage Shoulder "肩") | domainEnglishFormat.kif 52895-52895 | Every shoulder girdle bone is initially part of a shoulder |
| (termFormat EnglishLanguage Shoulder "shoulder") | domainEnglishFormat.kif 52894-52894 | 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 13681-13686 |
|
| consequent |
|
|
| (=> (and (instance ?SHRUG Shrugging) (patient ?SHRUG ?SHOULDER)) (instance ?SHOULDER Shoulder)) |
Mid-level-ontology.kif 21063-21067 |
|
| statement |
|
|
| (subclass LeftShoulder (BodySideFn Left Shoulder)) |
Medicine.kif 2858-2858 | Left shoulder is a subclass of the left shoulder |
| (subclass RightElbow (BodySideFn Right Shoulder)) |
Medicine.kif 2861-2861 | Right elbow is a subclass of the right shoulder |
|
|
|