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