|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 430-431 | utterance EnglishLanguage, 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 EnglishLanguage, AppraisalAsPleasant and "this is pleasant" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 245-245 | utterance EnglishLanguage, AppraisalAsPredictable and "this is predictable" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 581-581 | utterance EnglishLanguage, AppraisalAsSudden and "this is sudden" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 302-303 | utterance EnglishLanguage, 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 EnglishLanguage, AppraisalAsUndesirableConsequences and "this has undesirable consequences" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 674-675 | utterance EnglishLanguage, AppraisalAsUnintended and "this is not being deliberately caused" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 346-347 | utterance EnglishLanguage, AppraisalAsUnjustTreatment and "I am being treated unjustly" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 504-504 | utterance EnglishLanguage, AppraisalAsUnpleasant and "this is unpleasant" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 440-441 | utterance EnglishLanguage, AppraisalAsUrgentResponse and "a response is needed urgently" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 259-260 | utterance EnglishLanguage, AppraisalOfLoss and "I have irrevocably lost something important" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1157-1157 | utterance EnglishLanguage, Boredom and "bored" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1081-1081 | utterance EnglishLanguage, CompanionateLove and "compassionately loving" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1011-1011 | utterance EnglishLanguage, Compassion and "compassionate" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 921-921 | utterance EnglishLanguage, Concern and "concerned" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1090-1090 | utterance EnglishLanguage, Confusion and "confused" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 734-734 | utterance EnglishLanguage, Contempt and "contemptuous" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 890-890 | utterance EnglishLanguage, Contentment and "contented" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1058-1058 | utterance EnglishLanguage, Curiosity and "curious" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 940-940 | utterance EnglishLanguage, Despair and "despairing" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 944-944 | utterance EnglishLanguage, Disappointment and "disappointed" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 827-827 | utterance EnglishLanguage, Disgust and "disgusted" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 974-974 | utterance EnglishLanguage, Elation and "elated" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 978-978 | utterance EnglishLanguage, Embarrassment and "embarrassed" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1183-1183 | utterance EnglishLanguage, 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