No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 296-296 |
白俄罗斯 是 东欧洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 298-298 |
爱沙尼亚 是 东欧洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 300-300 |
拉脱维亚 是 东欧洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 302-302 |
立陶宛 是 东欧洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 304-304 |
摩尔多瓦 是 东欧洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 306-306 |
乌克兰 是 东欧洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 115-115 |
东欧洲 的名 是 "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 |
|