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 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 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 19348-19348 | 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 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 |
|