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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BernSwitzerland
BernSwitzerland(bern switzerland)
Bern, Berne, capital_of_Switzerland

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


(capitalCity BernSwitzerland Switzerland) CountriesAndRegions.kif 721-721 Switzerland is a capital city of bern switzerland
(documentation BernSwitzerland EnglishLanguage "The capital of Switzerland.") CountriesAndRegions.kif 722-722 Switzerland is a capital city of bern switzerland
(externalImage BernSwitzerland "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4e/ Aare_river_in_Bern.jpg") pictureList.kif 4548-4548 Switzerland is a capital city of bern switzerland
(instance BernSwitzerland EuropeanCity) CountriesAndRegions.kif 720-720 Bern switzerland is an instance of european city

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


(termFormat ChineseLanguage BernSwitzerland "伯尔尼瑞士") domainEnglishFormat.kif 10843-10843
(termFormat ChineseTraditionalLanguage BernSwitzerland "伯爾尼瑞士") domainEnglishFormat.kif 10842-10842
(termFormat EnglishLanguage BernSwitzerland "bern switzerland") domainEnglishFormat.kif 10841-10841


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