|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1193-1193 | utterance EnglishLanguage, Hope and "hopeful" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 997-997 | utterance EnglishLanguage, InspirationEmotion and "inspired" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 924-924 | utterance EnglishLanguage, irritation and "irritated" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 711-711 | utterance EnglishLanguage, jalousie and "jealous" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 756-756 | utterance EnglishLanguage, joie and "joyful" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 744-744 | utterance EnglishLanguage, amour and "loving" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 809-809 | utterance EnglishLanguage, MasteryPleasure and "a feeling of mastery" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 696-696 | utterance EnglishLanguage, Panic and "panicked" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 982-982 | utterance EnglishLanguage, PassionateLove and "passionately loving" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 785-785 | utterance EnglishLanguage, plaisir and "pleased" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 957-957 | utterance EnglishLanguage, fierté and "proud" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 900-900 | utterance EnglishLanguage, Rage and "enraged" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1120-1120 | utterance EnglishLanguage, tristesse and "sad" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 787-787 | utterance EnglishLanguage, SensoryPleasure and "sensory pleasure" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1094-1094 | utterance EnglishLanguage, Serenity and "serene" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1097-1097 | utterance EnglishLanguage, SexualPleasure and "sexual pleasure" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 820-820 | utterance EnglishLanguage, honte and "ashamed" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1064-1064 | utterance EnglishLanguage, SocialPleasure and "social pleasure" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 913-913 | utterance EnglishLanguage, Surprise and "surprised" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1153-1153 | utterance EnglishLanguage, Terror and "terrified" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1001-1001 | utterance EnglishLanguage, Worry and "worried" |
|
|
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