PunjabPakistan - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2214-2214
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5450-5450
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5453-5453
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5161-5161
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5456-5456
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5451-5451
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5452-5452
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5457-5457
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5454-5454
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3405-3405	Punjab pakistan is a geographic subregion of pakistan
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2213-2213	Punjab pakistan is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3406-3406	Punjab pakistan has name "Punjab"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48140-48140
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48139-48139
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48138-48138