No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1193-1193 |
utterance EnglishLanguage, Hope and "hopeful" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 997-997 |
utterance EnglishLanguage, InspirationEmotion and "inspired" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 924-924 |
utterance EnglishLanguage, irritation and "irritated" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 711-711 |
utterance EnglishLanguage, jalousie and "jealous" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 756-756 |
utterance EnglishLanguage, joie and "joyful" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 744-744 |
utterance EnglishLanguage, amour and "loving" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 809-809 |
utterance EnglishLanguage, MasteryPleasure and "a feeling of mastery" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 696-696 |
utterance EnglishLanguage, Panic and "panicked" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 982-982 |
utterance EnglishLanguage, PassionateLove and "passionately loving" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 785-785 |
utterance EnglishLanguage, plaisir and "pleased" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 957-957 |
utterance EnglishLanguage, fierté and "proud" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 900-900 |
utterance EnglishLanguage, Rage and "enraged" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1120-1120 |
utterance EnglishLanguage, tristesse and "sad" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 787-787 |
utterance EnglishLanguage, SensoryPleasure and "sensory pleasure" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1094-1094 |
utterance EnglishLanguage, Serenity and "serene" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1097-1097 |
utterance EnglishLanguage, SexualPleasure and "sexual pleasure" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 820-820 |
utterance EnglishLanguage, honte and "ashamed" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1064-1064 |
utterance EnglishLanguage, SocialPleasure and "social pleasure" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 913-913 |
utterance EnglishLanguage, Surprise and "surprised" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1153-1153 |
utterance EnglishLanguage, Terror and "terrified" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1001-1001 |
utterance EnglishLanguage, Worry and "worried" |