EasternEurope - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2462-2462
No TPTP formula. May not be expressible in strict first order.	Geography.kif 209-209	东欧洲是东半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 157-157	东欧洲是欧洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 210-210	东欧洲是北半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 85-85	东欧洲是地理区域的 instance

appearance as argument number 2

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