|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3383-3383 | geographicSubregion Paris and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3387-3387 | geographicSubregion PauFrance and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3460-3460 | geographicSubregion SaintAvoldFrance and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3464-3464 | geographicSubregion SaintJeanDeLuzFrance and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3549-3549 | geographicSubregion StrasbourgFrance and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3653-3653 | geographicSubregion VitrollesFrance and France |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4051-4051 | France se chama nome "France" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 55-55 | Paris e' uma &parte de 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