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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HannoverGermany
HannoverGermany(hannover germany)
more pictures...
Hannover, Hanover

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 3522-3522
(externalImage HannoverGermany "http://upload.wikimedia.org/wikipedia/commons/ 4/ 43/ Coat_of_arms_of_Hannover.svg") pictureList.kif 3518-3518
(externalImage HannoverGermany "http://upload.wikimedia.org/wikipedia/commons/ 5/ 52/ Marketchurchhannover.jpg") pictureList.kif 3521-3521
(externalImage HannoverGermany "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5b/ Hannover_Opernhaus.jpg") pictureList.kif 3520-3520
(externalImage HannoverGermany "http://upload.wikimedia.org/wikipedia/commons/ 6/ 60/ Hannover_-_Hauptbahnhof_Eingangsportal_1.jpg") pictureList.kif 3519-3519
(externalImage HannoverGermany "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ Germany_CIA_map_extended.gif") pictureList.kif 3333-3333
(externalImage HannoverGermany "http://upload.wikimedia.org/wikipedia/commons/ e/ ef/ New_town_hall_Hannover.jpg") pictureList.kif 3517-3517
(geographicSubregion HannoverGermany Germany) CountriesAndRegions.kif 2906-2906 Hannover germany is a geographic subregion of germany
(instance HannoverGermany PortCity) CountriesAndRegions.kif 1776-1776 Hannover germany is an instance of port city

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


(names "Hannover" HannoverGermany) CountriesAndRegions.kif 2907-2907 Hannover germany has name "Hannover"
(termFormat ChineseLanguage HannoverGermany "汉诺威德国") domainEnglishFormat.kif 27301-27301
(termFormat ChineseTraditionalLanguage HannoverGermany "漢諾威德國") domainEnglishFormat.kif 27300-27300
(termFormat EnglishLanguage HannoverGermany "hannover germany") domainEnglishFormat.kif 27299-27299


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