|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 788-788 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 559-559 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 844-844 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 895-895 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 899-899 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 451-451 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 767-767 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3322-3322 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 927-927 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 935-935 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 696-696 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 979-979 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 257-257 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3398-3398 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 999-999 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1012-1012 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1016-1016 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1025-1025 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1033-1033 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 698-698 | |
| 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