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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Russia

 Sigma KEE - Russia
Russia(俄國)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3425-3425 俄羅斯盧布 是 俄國 的 currency 類別
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 轉型國家 是 俄國 的 economy 類別
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 俄國 是 北亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 562-562 例 俄國 and Nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 749-749 俄國 是 莫斯科俄羅斯 的 capital 城市
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2522-2522 烷烴蒙古包俄羅斯 是 俄國 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2550-2550 Argun 俄羅斯 是 俄國 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2684-2684 Buynaksk俄羅斯 是 俄國 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2717-2717 Cherno rechye 俄國 是 俄國 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2762-2762 達吉斯坦俄羅斯 是 俄國 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3172-3172 Makhachkala俄羅斯 是 俄國 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3252-3252 莫斯科俄羅斯 是 俄國 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3327-3327 Novogrozny俄羅斯 是 俄國 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3329-3329 Novyy atagi 俄羅斯 是 俄國 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3448-3448 羅斯托夫在唐俄羅斯 是 俄國 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3474-3474 Samashki俄羅斯 是 俄國 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3632-3632 Urs martan 俄國 是 俄國 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3655-3655 Vladikavkaz俄羅斯 是 俄國 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3657-3657 符拉迪沃斯托克俄羅斯 是 俄國 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3659-3659 Volgodonsk俄羅斯 是 俄國 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4158-4158 名 "Russia" and 俄國
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" 在 ISO-3166-1-alpha-2 denotes 俄國


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

Show without tree


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