Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Russia
Russia(russia)
Russia, Russian, Russian_Federation

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 3425-3425 Russian ruble is a currency type of russia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1331-1332
No TPTP formula. May not be expressible in strict first order. Economy.kif 594-594 Country in transition is an economy type of russia
No TPTP formula. May not be expressible in strict first order. pictureList.kif 700-700
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 561-561 Russia is a geographic subregion of northern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 562-562 Russia is an instance of nation

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 749-749 Russia is a capital city of moscow russia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2522-2522 Alkhan yurt russia is a geographic subregion of russia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2550-2550 Argun russia is a geographic subregion of russia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2684-2684 Buinaksk russia is a geographic subregion of russia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2717-2717 Cherno rechye russia is a geographic subregion of russia
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 3172-3172 Makhachkala russia is a geographic subregion of russia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3252-3252 Moscow russia is a geographic subregion of russia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3327-3327 Novogrozny russia is a geographic subregion of russia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3329-3329 Novyy atagi russia is a geographic subregion of russia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3448-3448 Rostov on don russia is a geographic subregion of russia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3474-3474 Samashki russia is a geographic subregion of russia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3632-3632 Urs martan russia is a geographic subregion of russia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3655-3655 Vladikavkaz russia is a geographic subregion of russia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3657-3657 Vladivostok russia is a geographic subregion of russia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3659-3659 Volgodonsk russia is a geographic subregion of russia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4158-4158 Russia has name "Russia"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50637-50637
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50636-50636
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50635-50635

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2797-2797 "RU" in ISO-3166-1-alpha-2 denotes russia


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners