|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2581-2581 | West bank meets israel |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4006-4006 | Israel has name "Israel" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31183-31183 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31182-31182 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31181-31181 |
|
|
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