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 | Emotional state is internally related to appraisal as undesirable consequences |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18290-18290 | Emotional state is a subclass of state of mind |
appearance as argument number 2 |
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 1177-1177 | Anxiety is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1158-1158 | Boredom is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1010-1010 | Compassion is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 919-919 | Concern is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1089-1089 | Confusion is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 725-725 | Contempt is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1059-1059 | Intrigued is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 938-938 | Despair is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 948-948 | Disappointment is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 829-829 | Disgust is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 979-979 | Embarrassment is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1182-1182 | Stress (emotion) is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 916-916 | Expectant is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1018-1018 | Angst is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1916-1916 | Dubious is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 988-988 | Grief is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1079-1079 | Guilt is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 816-816 | Happiness is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1040-1040 | Hate is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1192-1192 | Hope is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 995-995 | Inspiration (emotion) is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 723-723 | Interest is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 928-928 | Irritation is an instance of emotional state |
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 | The number 1 argument of action tendency is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 2125-2125 | The number 1 argument of attitude for formula is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 2118-2118 | The number 1 argument of attitude for object is an instance of emotional state |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 141-141 | The number 2 argument of emotion tendency is an instance of emotional state |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9774-9795 |
|
consequent |