BahawalpurPakistan - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1489-1489
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5220-5220
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5216-5216
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5219-5219
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2588-2588	Bahawalpur pakistan is a geographic subregion of pakistan
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1488-1488	Bahawalpur pakistan is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2589-2589	Bahawalpur pakistan has name "Bahawalpur"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9582-9582
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9581-9581
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9580-9580