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 14113-14114 | |
(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 14111-14111 | Shoulder is a subclass of animal anatomical structure |
(subclass Shoulder BodyPart) | Mid-level-ontology.kif 14112-14112 | Shoulder is a subclass of body part |
appearance as argument number 2 |
![]() |
(initialPart ShoulderGirdleBone Shoulder) | Anatomy.kif 231-231 | Every shoulder girdle bone is initially part of a shoulder |
(termFormat ChineseLanguage Shoulder "肩") | domainEnglishFormat.kif 52867-52867 | Every shoulder girdle bone is initially part of a shoulder |
(termFormat ChineseTraditionalLanguage Shoulder "肩") | domainEnglishFormat.kif 52866-52866 | Every shoulder girdle bone is initially part of a shoulder |
(termFormat EnglishLanguage Shoulder "shoulder") | domainEnglishFormat.kif 52865-52865 | 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 14116-14121 |
|
consequent |
![]() |
statement |
![]() |
(subclass LeftShoulder (BodySideFn Left Shoulder)) |
Medicine.kif 2871-2871 | Left shoulder is a subclass of the left shoulder |
(subclass RightElbow (BodySideFn Right Shoulder)) |
Medicine.kif 2874-2874 | Right elbow is a subclass of the right shoulder |
![]() |
![]() |