|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 430-431 | utterance 英语, AppraisalAsNotUrgentResponse and "a response is needed but not urgently" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 502-502 | utterance 英语, AppraisalAsPleasant and "this is pleasant" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 245-245 | utterance 英语, AppraisalAsPredictable and "this is predictable" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 581-581 | utterance 英语, AppraisalAsSudden and "this is sudden" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 302-303 | utterance 英语, AppraisalAsUnavoidableConsequences and "there are consequences and they are unavoidable" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 416-417 | utterance 英语, AppraisalAsUndesirableConsequences and "this has undesirable consequences" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 674-675 | utterance 英语, AppraisalAsUnintended and "this is not being deliberately caused" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 346-347 | utterance 英语, AppraisalAsUnjustTreatment and "I am being treated unjustly" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 504-504 | utterance 英语, AppraisalAsUnpleasant and "this is unpleasant" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 440-441 | utterance 英语, AppraisalAsUrgentResponse and "a response is needed urgently" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 259-260 | utterance 英语, AppraisalOfLoss and "I have irrevocably lost something important" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1157-1157 | utterance 英语, Boredom and "bored" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1081-1081 | utterance 英语, CompanionateLove and "compassionately loving" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1011-1011 | utterance 英语, Compassion and "compassionate" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 921-921 | utterance 英语, Concern and "concerned" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1090-1090 | utterance 英语, Confusion and "confused" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 734-734 | utterance 英语, Contempt and "contemptuous" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 890-890 | utterance 英语, Contentment and "contented" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1058-1058 | utterance 英语, Curiosity and "curious" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 940-940 | utterance 英语, Despair and "despairing" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 944-944 | utterance 英语, Disappointment and "disappointed" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 827-827 | utterance 英语, Disgust and "disgusted" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 974-974 | utterance 英语, Elation and "elated" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 978-978 | utterance 英语, Embarrassment and "embarrassed" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1183-1183 | utterance 英语, EmotionalStress and "stressed" |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners