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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - 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 14131-14132
(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 14129-14129 动物解剖结构subclass
(subclass Shoulder BodyPart) Mid-level-ontology.kif 14130-14130 身体部位subclass

appearance as argument number 2
-------------------------


(initialPart ShoulderGirdleBone Shoulder) Anatomy.kif 215-215 %每个 ShoulderGirdleBoneinitially part
(termFormat ChineseLanguage Shoulder "肩") domainEnglishFormat.kif 52896-52896 %每个 ShoulderGirdleBoneinitially part
(termFormat ChineseTraditionalLanguage Shoulder "肩") domainEnglishFormat.kif 52895-52895 %每个 ShoulderGirdleBoneinitially part
(termFormat EnglishLanguage Shoulder "shoulder") domainEnglishFormat.kif 52894-52894 %每个 ShoulderGirdleBoneinitially part

antecedent
-------------------------


(=>
    (instance ?SHOULDER Shoulder)
    (exists (?PRIMATE)
        (and
            (instance ?PRIMATE Primate)
            (part ?SHOULDER ?PRIMATE))))
Mid-level-ontology.kif 14134-14139

consequent
-------------------------


(=>
    (and
        (instance ?SHRUG Shrugging)
        (patient ?SHRUG ?SHOULDER))
    (instance ?SHOULDER Shoulder))
Mid-level-ontology.kif 21568-21572
(=>
    (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 1439-1454