DagestanRussia - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1651-1651
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5233-5233
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5115-5115
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5234-5234
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5236-5236
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2762-2762	Dagestan russia is a geographic subregion of russia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1650-1650	Dagestan russia is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2763-2763	Dagestan russia has name "Dagestan"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18354-18354
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18353-18353
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18352-18352