|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1149-1149 | utterance english language, euphoria and "euphoric" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 217-218 | utterance english language, evaluation as important to goals and "this is important for my goals" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 231-232 | utterance english language, evaluation as not important to goals and "this is not important for my goals" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1022-1022 | utterance english language, angst and "afraid" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1845-1845 | utterance english language, feeling alert and "alert" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1781-1781 | utterance english language, feeling at ease and "at ease" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1832-1832 | utterance english language, feeling negative and "bad" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1759-1759 | utterance english language, feeling calm and "calm" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1858-1858 | utterance english language, feeling hot and "cold" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1823-1823 | utterance english language, feeling energetic and "energetic" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1820-1820 | utterance english language, feeling exhausted and "exhausted" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1837-1837 | utterance english language, feeling good and "good" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1895-1895 | utterance english language, feeling hot and "hot" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1788-1788 | utterance english language, feeling in control and "in control" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1763-1763 | utterance english language, feeling nervous and "nervous" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1795-1795 | utterance english language, feeling out of control and "out of control" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1773-1773 | utterance english language, feeling restless and "restless" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1801-1801 | utterance english language, feeling strong and "strong" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1852-1852 | utterance english language, feeling tired and "tired" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1812-1812 | utterance english language, feeling weak and "weak" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1056-1056 | utterance english language, fury and "furious" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 989-989 | utterance english language, grief and "grieving" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1075-1075 | utterance english language, guilt and "guilty" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 813-813 | utterance english language, happiness and "happy" |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1041-1041 | utterance english language, 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