|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1687-1687 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1691-1691 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1703-1703 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 399-399 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 397-397 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 395-395 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 645-645 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1711-1711 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 643-643 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 712-712 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 779-779 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 771-771 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 473-473 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 467-467 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3882-3882 | |
| 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