|
|
   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 18291-18292 | |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 413-413 | 相關的內部概念 EmotionalState and AppraisalAsUndesirableConsequences |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18290-18290 | 子類 EmotionalState and StateOfMind |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 968-968 | 例 憤怒 and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1177-1177 | 例 焦慮 and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1158-1158 | 例 Boredom and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1010-1010 | 例 Compassion and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 919-919 | 例 Concern and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1089-1089 | 例 Confusion and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 725-725 | 例 Contempt and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1059-1059 | 例 Curiosity and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 938-938 | 例 Despair and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 948-948 | 例 Disappointment and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 829-829 | 例 Disgust and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 979-979 | 例 Embarrassment and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1182-1182 | 例 EmotionalStress and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 916-916 | 例 Expectant and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1018-1018 | 例 Fear and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1916-1916 | 例 FeelingDubious and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 988-988 | 例 Grief and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1079-1079 | 例 Guilt and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 816-816 | 例 幸福 and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1040-1040 | 例 Hate and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1192-1192 | 例 Hope and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 995-995 | 例 InspirationEmotion and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 723-723 | 例 Interested and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 928-928 | 例 Irritation and EmotionalState |
| 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 | 域 actionTendency, 1 and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 2125-2125 | 域 attitudeForFormula, 1 and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 2118-2118 | 域 attitudeForObject, 1 and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 141-141 | 域 emotionTendency, 2 and EmotionalState |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9774-9795 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21474-21489 |
|
| 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 |
|
|
|