|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1149-1149 | utterance EnglishLanguage, Euphoria and "euphoric" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 217-218 | utterance EnglishLanguage, EvaluationAsImportantToGoals and "this is important for my goals" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 231-232 | utterance EnglishLanguage, EvaluationAsNotImportantToGoals and "this is not important for my goals" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1022-1022 | utterance EnglishLanguage, peur and "afraid" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1845-1845 | utterance EnglishLanguage, FeelingAlert and "alert" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1781-1781 | utterance EnglishLanguage, FeelingAtEase and "at ease" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1832-1832 | utterance EnglishLanguage, FeelingBad and "bad" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1759-1759 | utterance EnglishLanguage, FeelingCalm and "calm" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1858-1858 | utterance EnglishLanguage, FeelingCold and "cold" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1823-1823 | utterance EnglishLanguage, FeelingEnergetic and "energetic" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1820-1820 | utterance EnglishLanguage, FeelingExhausted and "exhausted" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1837-1837 | utterance EnglishLanguage, FeelingGood and "good" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1895-1895 | utterance EnglishLanguage, FeelingHot and "hot" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1788-1788 | utterance EnglishLanguage, FeelingInControl and "in control" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1763-1763 | utterance EnglishLanguage, FeelingNervous and "nervous" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1795-1795 | utterance EnglishLanguage, FeelingOutOfControl and "out of control" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1773-1773 | utterance EnglishLanguage, FeelingRestless and "restless" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1801-1801 | utterance EnglishLanguage, FeelingStrong and "strong" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1852-1852 | utterance EnglishLanguage, FeelingTired and "tired" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1812-1812 | utterance EnglishLanguage, FeelingWeak and "weak" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1056-1056 | utterance EnglishLanguage, Fury and "furious" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 989-989 | utterance EnglishLanguage, Grief and "grieving" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1075-1075 | utterance EnglishLanguage, culpabilité and "guilty" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 813-813 | utterance EnglishLanguage, bonheur and "happy" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1041-1041 | utterance EnglishLanguage, haine and "hateful" |
| 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