LahorePakistan - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1947-1947
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5293-5293
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5298-5298
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5296-5296
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5301-5301
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5294-5294
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5295-5295
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3105-3105	Lahore pakistan is a geographic subregion of pakistan
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1946-1946	Lahore pakistan is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3106-3106	Lahore pakistan has name "Lahore"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33115-33115
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33114-33114
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33113-33113