| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1163-1163 |
utterance english language, aesthetic pleasure and "aesthetic pleasure" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1165-1165 |
utterance english language, amusement and "amused" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 969-969 |
utterance english language, anger and "angry" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 699-699 |
utterance english language, annoyance and "annoyed" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1171-1171 |
utterance english language, anxiety and "anxious" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 288-289 |
utterance english language, appraisal as avoidable consequences and "there are consequences but they are avoidable" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 647-648 |
utterance english language, appraisal as being at the centre of attention and "I am at the centre of attention" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 600-601 |
utterance english language, appraisal as caused by an other and "this is being caused by someone else" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 625-626 |
utterance english language, appraisal as caused by chance and "this is being caused by chance" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 617-618 |
utterance english language, appraisal as caused by self and "this is being caused by me" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 608-609 |
utterance english language, appraisal as caused supernaturally and "this is being caused supernaturally" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 465-466 |
utterance english language, appraisal as congruent with ideals and "this is in line with my ideals" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 564-564 |
utterance english language, appraisal as dangerous and "this is dangerous" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 682-683 |
utterance english language, appraisal as deliberate and "this is being deliberately caused" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 405-406 |
utterance english language, appraisal as desirable consequences and "this has desirable consequences" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 533-533 |
utterance english language, appraisal as expected and "this is expected" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 320-320 |
utterance english language, appraisal as familiar and "this is familiar" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 366-367 |
utterance english language, appraisal as just treatment and "I am being treated justly" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 654-655 |
utterance english language, appraisal as not being at the centre of attention and "I am not at the centre of attention" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 479-480 |
utterance english language, appraisal as not congruent with ideals and "this is against my ideals" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 560-560 |
utterance english language, appraisal as not dangerous and "this is not dangerous" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 543-543 |
utterance english language, appraisal as not expected and "this is not expected" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 327-327 |
utterance english language, appraisal as not familiar and "this is not familiar" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 250-251 |
utterance english language, appraisal as not predictable and "this is not predictable" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 586-586 |
utterance english language, appraisal as not sudden and "this is not sudden" |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
utterance