No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 296-296 |
geographicSubregion Belarus and EasternEurope |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 298-298 |
geographicSubregion Estonia and EasternEurope |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 300-300 |
geographicSubregion Latvia and EasternEurope |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 302-302 |
geographicSubregion Lithuania and EasternEurope |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 304-304 |
geographicSubregion Moldova and EasternEurope |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 306-306 |
geographicSubregion Ukraine and EasternEurope |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 115-115 |
EasternEurope s'appele nom "Eastern Europe" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20886-20886 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20885-20885 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20884-20884 |
|