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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Anger

Sigma KEE - Anger
Anger

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 186-186 actionTendency Anger and AngryFacialExpression
No TPTP formula. May not be expressible in strict first order. emotion.kif 964-966
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19322-19322
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5852-5852
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6079-6079
No TPTP formula. May not be expressible in strict first order. emotion.kif 968-968 Anger e' uma instancia de Estado Emocional
No TPTP formula. May not be expressible in strict first order. emotion.kif 735-735 Anger e' relacionado internamente por SUMO a Contempt
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19321-19321 Anger e' um sub-atributo de Unhappiness

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 1237-1237 AngryFacialExpression e' relacionado internamente por SUMO a Anger
No TPTP formula. May not be expressible in strict first order. emotion.kif 1942-1942 AngryVoiceUtterance e' relacionado internamente por SUMO a Anger
No TPTP formula. May not be expressible in strict first order. emotion.kif 698-698 Annoyance e' um sub-atributo de Anger
No TPTP formula. May not be expressible in strict first order. emotion.kif 1055-1055 Fury e' um sub-atributo de Anger
No TPTP formula. May not be expressible in strict first order. emotion.kif 901-901 Rage e' um sub-atributo de Anger
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7470-7470
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7469-7469
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7468-7468
No TPTP formula. May not be expressible in strict first order. emotion.kif 971-971
No TPTP formula. May not be expressible in strict first order. emotion.kif 967-967
No TPTP formula. May not be expressible in strict first order. emotion.kif 963-963
No TPTP formula. May not be expressible in strict first order. emotion.kif 969-969 utterance EnglishLanguage, Anger and "angry"

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19324-19327
No TPTP formula. May not be expressible in strict first order. emotion.kif 1244-1253

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 1945-1958
No TPTP formula. May not be expressible in strict first order. emotion.kif 1646-1654


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