MakhachkalaRussia - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2003-2003
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5329-5329
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5328-5328
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5138-5138
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3172-3172	Makhachkala russia is a geographic subregion of russia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2002-2002	Makhachkala russia is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3173-3173	Makhachkala russia has name "Makhachkala"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35735-35735
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35734-35734
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35733-35733