|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 710-710 | Jealousy e' uma instancia de Estado Emocional |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 746-746 | Love e' uma instancia de Estado Emocional |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 777-777 | Pleasure e' uma instancia de Estado Emocional |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 958-958 | Pride e' uma instancia de Estado Emocional |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1115-1115 | Sadness e' uma instancia de Estado Emocional |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 823-823 | Shame e' uma instancia de Estado Emocional |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 912-912 | Surprise e' uma instancia de Estado Emocional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19303-19303 | Unhappiness e' uma instancia de Estado Emocional |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 999-999 | Worry e' uma instancia de Estado Emocional |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1304-1304 | EmotionalFacialExpression e' relacionado internamente por SUMO a Estado Emocional |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 73-73 | SubjectiveEmotionalFeeling e' uma sub-classe de Estado Emocional |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1264-1264 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1749-1749 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 942-942 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 481-481 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2626-2626 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 894-894 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 517-517 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 963-963 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 482-482 |
|
|
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