BaleEthiopia - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1497-1497
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5221-5221
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5105-5105
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5222-5222
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2596-2596	大包埃塞俄比亚是埃塞俄比亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1496-1496	大包埃塞俄比亚是城市的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2597-2597	大包埃塞俄比亚的名是 "Bale"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9660-9660
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9659-9659
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9658-9658