TreeView Knowledge Base Browser - BahawalpurPakistan

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	geographicSubregion BahawalpurPakistan and Pakistan
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1488-1488	BahawalpurPakistan est une instance de ville

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2589-2589	BahawalpurPakistan s'appele nom "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