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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VolgodonskRussia

 Sigma KEE - VolgodonskRussia
VolgodonskRussia(volgodonsk俄羅斯)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2440-2440
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8784-8784
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9806-9806
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 2439-2439 例 volgodonsk俄羅斯 and City

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3660-3660 名 "Volgodonsk" and volgodonsk俄羅斯
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61923-61923
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61922-61922
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61921-61921


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