|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 710-710 | 例 Jealousy and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 746-746 | 例 Love and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 777-777 | 例 Pleasure and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 958-958 | 例 Pride and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1115-1115 | 例 Sadness and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 823-823 | 例 Shame and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 912-912 | 例 驚喜 and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19304-19304 | 例 不幸 and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 999-999 | 例 Worry and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1304-1304 | 相關的內部概念 EmotionalFacialExpression and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 73-73 | 子類 SubjectiveEmotionalFeeling and EmotionalState |
| 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