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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - BernSwitzerland

appearance as argument number 1

(capitalCity BernSwitzerland Switzerland) CountriesAndRegions.kif 721-721 capitalCity BernSwitzerland and Switzerland
(documentation BernSwitzerland EnglishLanguage "The capital of Switzerland.") CountriesAndRegions.kif 722-722
(externalImage BernSwitzerland " 4/ 4e/ Aare_river_in_Bern.jpg") pictureList.kif 4549-4549
(instance BernSwitzerland EuropeanCity) CountriesAndRegions.kif 720-720 instance BernSwitzerland and EuropeanCity

appearance as argument number 2

(termFormat ChineseLanguage BernSwitzerland "伯尔尼瑞士") domainEnglishFormat.kif 10777-10777
(termFormat ChineseTraditionalLanguage BernSwitzerland "伯爾尼瑞士") domainEnglishFormat.kif 10776-10776
(termFormat EnglishLanguage BernSwitzerland "bern switzerland") domainEnglishFormat.kif 10775-10775

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners