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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Anger
Anger(colère)

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 186-186 actionTendency colère 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 19321-19321
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 Colère est une instance de �tat �motionnel
No TPTP formula. May not be expressible in strict first order. emotion.kif 735-735 Colère est reli� � l'int�rieur de SUMO � mépris
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19320-19320 Colère est un sous-attribut de Unhappiness

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 1237-1237 AngryFacialExpression est reli� � l'int�rieur de SUMO � colère
No TPTP formula. May not be expressible in strict first order. emotion.kif 1942-1942 AngryVoiceUtterance est reli� � l'int�rieur de SUMO � colère
No TPTP formula. May not be expressible in strict first order. emotion.kif 698-698 Annoyance est un sous-attribut de colère
No TPTP formula. May not be expressible in strict first order. emotion.kif 1055-1055 Fury est un sous-attribut de colère
No TPTP formula. May not be expressible in strict first order. emotion.kif 901-901 Rage est un sous-attribut de colère
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, colère and "angry"

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19323-19326
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 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 3.0 is open source software produced by Articulate Software and its partners