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
(externalImage BernSwitzerland "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4e/ Aare_river_in_Bern.jpg") pictureList.kif 4548-4548
(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 10829-10829
(termFormat ChineseTraditionalLanguage BernSwitzerland "伯爾尼瑞士") domainEnglishFormat.kif 10828-10828
(termFormat EnglishLanguage BernSwitzerland "bern switzerland") domainEnglishFormat.kif 10827-10827


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