|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2150-2150 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4469-4469 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4597-4597 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2198-2198 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4481-4481 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4485-4485 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2246-2246 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2262-2262 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2266-2266 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2270-2270 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2274-2274 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2278-2278 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2286-2286 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4533-4533 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4537-4537 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4541-4541 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4545-4545 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4577-4577 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2334-2334 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2338-2338 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2342-2342 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2370-2370 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2378-2378 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4661-4661 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4673-4673 | |
| 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