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 10434-10435
(externalImage Shoulder "http://upload.wikimedia.org/wikipedia/commons/thumb/ 9/ 90/ Shoulderjoint.PNG/ 300px-Shoulderjoint.PNG") pictureList.kif 1251-1251
(subclass Shoulder AnimalAnatomicalStructure) Mid-level-ontology.kif 10432-10432 Shoulder is a subclass of animal anatomical structure
(subclass Shoulder BodyPart) Mid-level-ontology.kif 10433-10433 Shoulder is a subclass of body part

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


(termFormat ChineseLanguage Shoulder "肩") domainEnglishFormat.kif 52760-52760
(termFormat ChineseTraditionalLanguage Shoulder "肩") domainEnglishFormat.kif 52759-52759
(termFormat EnglishLanguage Shoulder "shoulder") domainEnglishFormat.kif 52758-52758

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


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

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


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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners