No TPTP formula. May not be expressible in strict first order. |
emotion.kif 430-431 |
utterance english language, appraisal as not urgent response and "a response is needed but not urgently" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 502-502 |
utterance english language, appraisal as pleasant and "this is pleasant" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 245-245 |
utterance english language, appraisal as predictable and "this is predictable" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 581-581 |
utterance english language, appraisal as sudden and "this is sudden" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 302-303 |
utterance english language, appraisal as unavoidable consequences and "there are consequences and they are unavoidable" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 416-417 |
utterance english language, appraisal as undesirable consequences and "this has undesirable consequences" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 674-675 |
utterance english language, appraisal as unintended and "this is not being deliberately caused" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 346-347 |
utterance english language, appraisal as unjust treatment and "I am being treated unjustly" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 504-504 |
utterance english language, appraisal as unpleasant and "this is unpleasant" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 440-441 |
utterance english language, appraisal as urgent response and "a response is needed urgently" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 259-260 |
utterance english language, appraisal of loss and "I have irrevocably lost something important" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1157-1157 |
utterance english language, boredom and "bored" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1081-1081 |
utterance english language, companionate love and "compassionately loving" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1011-1011 |
utterance english language, compassion and "compassionate" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 921-921 |
utterance english language, concern and "concerned" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1090-1090 |
utterance english language, confusion and "confused" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 734-734 |
utterance english language, contempt and "contemptuous" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 890-890 |
utterance english language, contentment and "contented" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1058-1058 |
utterance english language, intrigued and "curious" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 940-940 |
utterance english language, despair and "despairing" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 944-944 |
utterance english language, disappointment and "disappointed" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 827-827 |
utterance english language, disgust and "disgusted" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 974-974 |
utterance english language, elation and "elated" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 978-978 |
utterance english language, embarrassment and "embarrassed" |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1183-1183 |
utterance english language, stress (emotion) and "stressed" |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |