VladikavkazRussia - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2436-2436
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5544-5544
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5192-5192
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3655-3655	geographicSubregion VladikavkazRussia and Russia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2435-2435	VladikavkazRussia est une instance de ville

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3656-3656	VladikavkazRussia s'appele nom "Vladikavkaz"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61828-61828
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61827-61827
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61826-61826