PeshawarPakistan - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2198-2198
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5428-5428
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5157-5157
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5424-5424
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3391-3391	geographicSubregion PeshawarPakistan and Pakistan
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2197-2197	PeshawarPakistan est une instance de ville

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3392-3392	PeshawarPakistan s'appele nom "Peshawar"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45374-45374
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45373-45373
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45372-45372