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 |