|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 655-655 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3806-3806 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1599-1599 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1603-1603 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1619-1619 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1627-1627 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1631-1631 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1635-1635 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 710-710 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1675-1675 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 773-773 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3838-3838 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2213-2213 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2318-2318 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2283-2283 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2248-2248 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1894-1894 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1987-1988 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 633-633 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 637-637 | |
| 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