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



KB Term:  Term intersection
English Word: 

  PartialOrderingRelation

Sigma KEE - Shrugging
Shrugging(shrugging)shrug

appearance as argument number 1
-------------------------


(subclass Shrugging BodyMotion) Mid-level-ontology.kif 22184-22184 Shrugging is a subclass of body motion
(subclass Shrugging Gesture) Mid-level-ontology.kif 22185-22185 Shrugging is a subclass of gesture
(documentation Shrugging EnglishLanguage "Moving the Shoulders in such a way that the motion is intended to express something to someone else.") Mid-level-ontology.kif 22186-22187 Shrugging is a subclass of gesture

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


(termFormat EnglishLanguage Shrugging "shrugging") domainEnglishFormat.kif 52881-52881
(termFormat ChineseTraditionalLanguage Shrugging "聳肩") domainEnglishFormat.kif 52882-52882
(termFormat ChineseLanguage Shrugging "耸肩") domainEnglishFormat.kif 52883-52883

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


(=>
    (and
        (instance ?SHRUG Shrugging)
        (patient ?SHRUG ?SHOULDER))
    (instance ?SHOULDER Shoulder))
Mid-level-ontology.kif 22189-22193 If X is an instance of shrugging and Y is a patient of X, then Y is an instance of shoulder


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners