JullundurIndia - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1851-1851
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4916-4916
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5039-5039
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5038-5038
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3005-3005	Jullundur india is a geographic subregion of india
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1850-1850	Jullundur india is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3006-3006	Jullundur india has name "Jullundur"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31885-31885
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31884-31884
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31883-31883