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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Switzerland

appearance as argument number 1

(currencyType Switzerland SwissFranc) Economy.kif 3502-3502 currencyType Switzerland and SwissFranc
(documentation Switzerland EnglishLanguage "A small politically neutral Nation in central Europe.") CountriesAndRegions.kif 1358-1359
(economyType Switzerland AdvancedEconomy) Economy.kif 554-554 economyType Switzerland and AdvancedEconomy
(economyType Switzerland DevelopedCountry) Economy.kif 177-177 economyType Switzerland and DevelopedCountry
(externalImage Switzerland " pictures/ geography/ Country_Maps/ S/ Switzerland.png") pictureList.kif 766-766
(geographicSubregion Switzerland CentralEurope) CountriesAndRegions.kif 291-291 geographicSubregion Switzerland and CentralEurope
(instance Switzerland EuropeanNation) CountriesAndRegions.kif 292-292 instance Switzerland and EuropeanNation

appearance as argument number 2

(capitalCity BernSwitzerland Switzerland) CountriesAndRegions.kif 721-721 capitalCity BernSwitzerland and Switzerland
(geographicSubregion GenevaSwitzerland Switzerland) CountriesAndRegions.kif 2864-2864 geographicSubregion GenevaSwitzerland and Switzerland
(names "Switzerland" Switzerland) CountriesAndRegions.kif 4028-4028 names "Switzerland" and Switzerland
(termFormat ChineseLanguage Switzerland "瑞士") domainEnglishFormat.kif 56468-56468
(termFormat ChineseTraditionalLanguage Switzerland "瑞士") domainEnglishFormat.kif 56467-56467
(termFormat EnglishLanguage Switzerland "switzerland") domainEnglishFormat.kif 56466-56466

appearance as argument number 3

(codeMapping ISO-3166-1-alpha-2 "CH" Switzerland) Media.kif 2789-2789 codeMapping ISO-3166-1-alpha-2, "CH" and Switzerland

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