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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Shrugging

 Sigma KEE - Shrugging
Shrugging(聳肩)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19971-19972
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19969-19969 子類 聳肩 and BodyMotion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19970-19970 子類 聳肩 and 手勢

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52886-52886
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52885-52885
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52884-52884

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19974-19978


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 is open source software produced by Articulate Software and its partners