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


KB Term:  Term intersection
English Word: 

  BuinakskRussia

Sigma KEE - BuinakskRussia
BuinakskRussia(buinaksk russia)

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


s__documentation(s__BuinakskRussia, s__EnglishLanguage, "The City of Buinaksk in Russia_") CountriesAndRegions.kif 1583-1583
s__geographicSubregion(s__BuinakskRussia, s__Russia) CountriesAndRegions.kif 2692-2692 Buinaksk russia is a geographic subregion of russia
s__instance(s__BuinakskRussia, s__City) CountriesAndRegions.kif 1582-1582 Buinaksk russia is an instance of city

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


s__names("Buinaksk", s__BuinakskRussia) CountriesAndRegions.kif 2693-2693 Buinaksk russia has &ames$"name" "Buinaksk"
s__termFormat(s__ChineseLanguage, s__BuinakskRussia, "buynaksk俄罗斯") domainEnglishFormat.kif 12283-12283 Buinaksk russia has &ames$"name" "Buinaksk"
s__termFormat(s__ChineseTraditionalLanguage, s__BuinakskRussia, "buynaksk俄羅斯") domainEnglishFormat.kif 12282-12282 Buinaksk russia has &ames$"name" "Buinaksk"
s__termFormat(s__EnglishLanguage, s__BuinakskRussia, "buinaksk russia") domainEnglishFormat.kif 12281-12281 Buinaksk russia has &ames$"name" "Buinaksk"


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