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	巴哈瓦尔布尔巴基斯坦是巴基斯坦的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1488-1488	巴哈瓦尔布尔巴基斯坦是城市的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2589-2589	巴哈瓦尔布尔巴基斯坦的名是 "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