SrinagarIndia - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2336-2336
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3605-3605
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3603-3603
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3606-3606
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3379-3379
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1378-1378
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3604-3604
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3540-3540	Srinagar india is a geographic subregion of india
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2335-2335	Srinagar india is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3541-3541	Srinagar india has name "Srinagar"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54954-54954
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54953-54953
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54952-54952