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



KB Term:  Term intersection
English Word: 

  BuinakskRussia

Sigma KEE - BuinakskRussia
BuinakskRussia(buinaksk russia)

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


(instance BuinakskRussia City) CountriesAndRegions.kif 1582-1582 Buinaksk russia is an instance of city
(documentation BuinakskRussia EnglishLanguage "The City of Buinaksk in Russia.") CountriesAndRegions.kif 1583-1583 Buinaksk russia is an instance of city
(geographicSubregion BuinakskRussia Russia) CountriesAndRegions.kif 2692-2692 Buinaksk russia is a geographic subregion of russia

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


(names "Buinaksk" BuinakskRussia) CountriesAndRegions.kif 2693-2693 Buinaksk russia has name "Buinaksk"
(termFormat EnglishLanguage BuinakskRussia "buinaksk russia") domainEnglishFormat.kif 12281-12281 Buinaksk russia has name "Buinaksk"
(termFormat ChineseTraditionalLanguage BuinakskRussia "buynaksk俄羅斯") domainEnglishFormat.kif 12282-12282 Buinaksk russia has name "Buinaksk"
(termFormat ChineseLanguage BuinakskRussia "buynaksk俄罗斯") domainEnglishFormat.kif 12283-12283 Buinaksk russia has 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners