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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Disgust
  FeelingCalm

Sigma KEE - Disgust
Disgust

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 182-182 actionTendency Disgust and DisgustedFacialExpression
No TPTP formula. May not be expressible in strict first order. emotion.kif 832-836
No TPTP formula. May not be expressible in strict first order. emotion.kif 829-829 Disgust情绪状态instance
No TPTP formula. May not be expressible in strict first order. emotion.kif 736-736 DisgustContempt 是 内部相关

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 1255-1255 DisgustedFacialExpressionDisgust 是 内部相关
No TPTP formula. May not be expressible in strict first order. emotion.kif 1996-1996 DisgustedVoiceUtteranceDisgust 是 内部相关
No TPTP formula. May not be expressible in strict first order. emotion.kif 880-880 AnimalNatureDisgustDisgustsubAttribute
No TPTP formula. May not be expressible in strict first order. emotion.kif 839-839 CoreDisgustDisgustsubAttribute
No TPTP formula. May not be expressible in strict first order. emotion.kif 849-849 InterpersonalDisgustDisgustsubAttribute
No TPTP formula. May not be expressible in strict first order. emotion.kif 888-888 MoralDisgustDisgustsubAttribute
No TPTP formula. May not be expressible in strict first order. emotion.kif 831-831
No TPTP formula. May not be expressible in strict first order. emotion.kif 828-828
No TPTP formula. May not be expressible in strict first order. emotion.kif 837-837
No TPTP formula. May not be expressible in strict first order. emotion.kif 830-830
No TPTP formula. May not be expressible in strict first order. emotion.kif 827-827 utterance 英语, Disgust and "disgusted"

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 1262-1271

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 2000-2008


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