TaxilaPakistan - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2363-2363
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5525-5525
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5522-5522
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5521-5521
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5523-5523
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5182-5182
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5524-5524
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3568-3568	Taxila pakistan is a geographic subregion of pakistan
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2362-2362	Taxila pakistan is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3569-3569	Taxila pakistan has name "Taxila"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57085-57085
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57084-57084
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57083-57083