|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1878-1878 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1894-1894 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4189-4189 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4193-4193 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4097-4097 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1934-1934 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1942-1942 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4117-4117 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1982-1982 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1994-1994 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1998-1998 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4201-4201 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4285-4285 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4301-4301 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4305-4305 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4309-4309 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4317-4317 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2082-2082 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2086-2086 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2090-2090 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2094-2094 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2102-2102 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4341-4341 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2118-2118 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4377-4377 | |
| 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