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印度是印度的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1850-1850	Jullundur印度是城市的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3006-3006	Jullundur印度的名是 "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