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 12782-12783
(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 12780-12780 动物解剖结构subclass
(subclass Shoulder BodyPart) Mid-level-ontology.kif 12781-12781 身体部位subclass

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


(initialPart ShoulderGirdleBone Shoulder) Anatomy.kif 216-216 %每个 ShoulderGirdleBoneinitially part
(termFormat ChineseLanguage Shoulder "肩") domainEnglishFormat.kif 52863-52863
(termFormat ChineseTraditionalLanguage Shoulder "肩") domainEnglishFormat.kif 52862-52862
(termFormat EnglishLanguage Shoulder "shoulder") domainEnglishFormat.kif 52861-52861

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


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

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


(=>
    (and
        (instance ?SHRUG Shrugging)
        (patient ?SHRUG ?SHOULDER))
    (instance ?SHOULDER Shoulder))
Mid-level-ontology.kif 19974-19978