HeartAfghanistan - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1787-1787
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5258-5258
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5260-5260
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5259-5259
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5122-5122
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2915-2915	Heart afghanistan is a geographic subregion of afghanistan
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1786-1786	Heart afghanistan is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2916-2916	Heart afghanistan has name "Heart"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27780-27780
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27779-27779
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27778-27778