| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1163-1163 |
utterance 英语, AestheticPleasure and "aesthetic pleasure" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1165-1165 |
utterance 英语, Amusement and "amused" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 969-969 |
utterance 英语, 愤怒 and "angry" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 699-699 |
utterance 英语, Annoyance and "annoyed" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1171-1171 |
utterance 英语, 焦虑 and "anxious" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 288-289 |
utterance 英语, AppraisalAsAvoidableConsequences and "there are consequences but they are avoidable" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 647-648 |
utterance 英语, AppraisalAsBeingAtTheCentreOfAttention and "I am at the centre of attention" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 600-601 |
utterance 英语, AppraisalAsCausedByAnother and "this is being caused by someone else" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 625-626 |
utterance 英语, AppraisalAsCausedByChance and "this is being caused by chance" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 617-618 |
utterance 英语, AppraisalAsCausedBySelf and "this is being caused by me" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 608-609 |
utterance 英语, AppraisalAsCausedSupernaturally and "this is being caused supernaturally" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 465-466 |
utterance 英语, AppraisalAsCongruentWithIdeals and "this is in line with my ideals" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 564-564 |
utterance 英语, AppraisalAsDangerous and "this is dangerous" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 682-683 |
utterance 英语, AppraisalAsDeliberate and "this is being deliberately caused" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 405-406 |
utterance 英语, AppraisalAsDesirableConsequences and "this has desirable consequences" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 533-533 |
utterance 英语, AppraisalAsExpected and "this is expected" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 320-320 |
utterance 英语, AppraisalAsFamiliar and "this is familiar" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 366-367 |
utterance 英语, AppraisalAsJustTreatment and "I am being treated justly" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 654-655 |
utterance 英语, AppraisalAsNotBeingAtTheCentreOfAttention 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 英语, AppraisalAsNotCongruentWithIdeals and "this is against my ideals" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 560-560 |
utterance 英语, AppraisalAsNotDangerous and "this is not dangerous" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 543-543 |
utterance 英语, AppraisalAsNotExpected and "this is not expected" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 327-327 |
utterance 英语, AppraisalAsNotFamiliar and "this is not familiar" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 250-251 |
utterance 英语, AppraisalAsNotPredictable and "this is not predictable" |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 586-586 |
utterance 英语, AppraisalAsNotSudden and "this is not sudden" |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
utterance