|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3383-3383 | Paris is a geographic subregion of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3387-3387 | Pau france is a geographic subregion of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3460-3460 | Saint avold france is a geographic subregion of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3464-3464 | Saint jean de luz france is a geographic subregion of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3549-3549 | Strasbourg france is a geographic subregion of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3653-3653 | Vitrolles france is a geographic subregion of france |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4051-4051 | France has name "France" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 55-55 | Paris is a part of france |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24860-24860 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24859-24859 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24858-24858 |
|
|
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