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	Peshawar pakistan is a geographic subregion of pakistan
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2197-2197	Peshawar pakistan is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3392-3392	Peshawar pakistan has name "Peshawar"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45372-45372
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45371-45371
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45370-45370