No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 296-296 |
Belarus is a geographic subregion of eastern europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 298-298 |
Estonia is a geographic subregion of eastern europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 300-300 |
Latvia is a geographic subregion of eastern europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 302-302 |
Lithuania is a geographic subregion of eastern europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 304-304 |
Moldova is a geographic subregion of eastern europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 306-306 |
Ukraine is a geographic subregion of eastern europe |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 115-115 |
Eastern europe has name "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 |
|