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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HannoverGermany
HannoverGermany
more pictures...

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


(documentation HannoverGermany EnglishLanguage "The City of Hannover in Germany.") CountriesAndRegions.kif 1777-1777
(externalImage HannoverGermany "http://upload.wikimedia.org/wikipedia/commons/ 2/ 20/ Leine_at_Hannover_City.JPG") pictureList.kif 3521-3521
(externalImage HannoverGermany "http://upload.wikimedia.org/wikipedia/commons/ 4/ 43/ Coat_of_arms_of_Hannover.svg") pictureList.kif 3517-3517
(externalImage HannoverGermany "http://upload.wikimedia.org/wikipedia/commons/ 5/ 52/ Marketchurchhannover.jpg") pictureList.kif 3520-3520
(externalImage HannoverGermany "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5b/ Hannover_Opernhaus.jpg") pictureList.kif 3519-3519
(externalImage HannoverGermany "http://upload.wikimedia.org/wikipedia/commons/ 6/ 60/ Hannover_-_Hauptbahnhof_Eingangsportal_1.jpg") pictureList.kif 3518-3518
(externalImage HannoverGermany "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ Germany_CIA_map_extended.gif") pictureList.kif 3332-3332
(externalImage HannoverGermany "http://upload.wikimedia.org/wikipedia/commons/ e/ ef/ New_town_hall_Hannover.jpg") pictureList.kif 3516-3516
(geographicSubregion HannoverGermany Germany) CountriesAndRegions.kif 2905-2905
(instance HannoverGermany PortCity) CountriesAndRegions.kif 1776-1776

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


(names "Hannover" HannoverGermany) CountriesAndRegions.kif 2906-2906
(termFormat ChineseLanguage HannoverGermany "汉诺威德国") domainEnglishFormat.kif 27378-27378
(termFormat ChineseTraditionalLanguage HannoverGermany "漢諾威德國") domainEnglishFormat.kif 27377-27377
(termFormat EnglishLanguage HannoverGermany "hannover germany") domainEnglishFormat.kif 27376-27376


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