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	心臟阿富汗是阿富汗的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1786-1786	例心臟阿富汗 and City

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2916-2916	名 "Heart" and 心臟阿富汗
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