Anger
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 186-186 | action tendency anger and angry facial expression |
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 19349-19349 | |
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 is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 735-735 | Anger is internally related to contempt |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19348-19348 | Anger is a subattribute of unhappiness |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1237-1237 | Angry facial expression is internally related to anger |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1942-1942 | Angry voice utterance is internally related to anger |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 698-698 | Annoyance is a subattribute of anger |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1055-1055 | Fury is a subattribute of anger |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 901-901 | Rage is a subattribute of 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 english language, anger and "angry" |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19351-19354 |
|
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 |