Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Shoulder
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
-------------------------


(=>
    (and
        (instance ?SHRUG Shrugging)
        (patient ?SHRUG ?SHOULDER))
    (instance ?SHOULDER Shoulder))
Mid-level-ontology.kif 21561-21565
(=>
    (instance ?B Buttstock)
    (hasPurpose ?B
        (exists (?L ?S ?A ?SH)
            (and
                (instance ?L Longgun)
                (part ?B ?L)
                (instance ?S Shooting)
                (instument ?S ?L)
                (agent ?S ?A)
                (instance ?A Human)
                (part ?SH ?A)
                (instance ?SH Shoulder)
                (holdsDuring
                    (WhenFn ?S)
                    (meetsSpatially ?S ?B))))))
Mid-level-ontology.kif 1440-1455