EmotionalState
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 4037-4038 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18370-18371 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 413-413 | Estado Emocional e' relacionado internamente por SUMO a AppraisalAsUndesirableConsequences |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18369-18369 | Estado Emocional e' uma sub-classe de Estado de Espirito |
appearance as argument number 2 |
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 1177-1177 | Anxiety e' uma instancia de Estado Emocional |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1158-1158 | Boredom e' uma instancia de Estado Emocional |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1010-1010 | Compassion e' uma instancia de Estado Emocional |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 919-919 | Concern e' uma instancia de Estado Emocional |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1089-1089 | Confusion e' uma instancia de Estado Emocional |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 725-725 | Contempt e' uma instancia de Estado Emocional |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1059-1059 | Curiosity e' uma instancia de Estado Emocional |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 938-938 | Despair e' uma instancia de Estado Emocional |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 948-948 | Disappointment e' uma instancia de Estado Emocional |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 829-829 | Disgust e' uma instancia de Estado Emocional |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 979-979 | Embarrassment e' uma instancia de Estado Emocional |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1182-1182 | EmotionalStress e' uma instancia de Estado Emocional |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 916-916 | Expectant e' uma instancia de Estado Emocional |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1018-1018 | Fear e' uma instancia de Estado Emocional |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1916-1916 | FeelingDubious e' uma instancia de Estado Emocional |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 988-988 | Grief e' uma instancia de Estado Emocional |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1079-1079 | Guilt e' uma instancia de Estado Emocional |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 816-816 | Happiness e' uma instancia de Estado Emocional |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1040-1040 | Hate e' uma instancia de Estado Emocional |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1192-1192 | Hope e' uma instancia de Estado Emocional |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 995-995 | InspirationEmotion e' uma instancia de Estado Emocional |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 723-723 | Interested e' uma instancia de Estado Emocional |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 928-928 | Irritation e' uma instancia de Estado Emocional |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 156-156 | O argumento numero 1 de actionTendency e' uma instancia de Estado Emocional |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 2123-2123 | O argumento numero 1 de attitudeForFormula e' uma instancia de Estado Emocional |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 2116-2116 | O argumento numero 1 de attitudeForObject e' uma instancia de Estado Emocional |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 141-141 | O argumento numero 2 de emotionTendency e' uma instancia de Estado Emocional |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9801-9822 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21501-21516 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 99-106 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1371-1378 |