|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 430-431 | utterance english language, appraisal as not urgent response and "a response is needed but not urgently" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 502-502 | utterance english language, appraisal as pleasant and "this is pleasant" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 245-245 | utterance english language, appraisal as predictable and "this is predictable" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 581-581 | utterance english language, appraisal as sudden and "this is sudden" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 302-303 | utterance english language, appraisal as unavoidable consequences and "there are consequences and they are unavoidable" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 416-417 | utterance english language, appraisal as undesirable consequences and "this has undesirable consequences" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 674-675 | utterance english language, appraisal as unintended and "this is not being deliberately caused" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 346-347 | utterance english language, appraisal as unjust treatment and "I am being treated unjustly" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 504-504 | utterance english language, appraisal as unpleasant and "this is unpleasant" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 440-441 | utterance english language, appraisal as urgent response and "a response is needed urgently" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 259-260 | utterance english language, appraisal of loss and "I have irrevocably lost something important" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1157-1157 | utterance english language, boredom and "bored" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1081-1081 | utterance english language, companionate love and "compassionately loving" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1011-1011 | utterance english language, compassion and "compassionate" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 921-921 | utterance english language, concern and "concerned" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1090-1090 | utterance english language, confusion and "confused" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 734-734 | utterance english language, contempt and "contemptuous" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 890-890 | utterance english language, contentment and "contented" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1058-1058 | utterance english language, intrigued and "curious" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 940-940 | utterance english language, despair and "despairing" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 944-944 | utterance english language, disappointment and "disappointed" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 827-827 | utterance english language, disgust and "disgusted" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 974-974 | utterance english language, elation and "elated" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 978-978 | utterance english language, embarrassment and "embarrassed" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1183-1183 | utterance english language, stress (emotion) 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