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

appearance as argument number 2

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