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 3520-3520
(externalImage HannoverGermany "http://upload.wikimedia.org/wikipedia/commons/ 4/ 43/ Coat_of_arms_of_Hannover.svg") pictureList.kif 3516-3516
(externalImage HannoverGermany "http://upload.wikimedia.org/wikipedia/commons/ 5/ 52/ Marketchurchhannover.jpg") pictureList.kif 3519-3519
(externalImage HannoverGermany "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5b/ Hannover_Opernhaus.jpg") pictureList.kif 3518-3518
(externalImage HannoverGermany "http://upload.wikimedia.org/wikipedia/commons/ 6/ 60/ Hannover_-_Hauptbahnhof_Eingangsportal_1.jpg") pictureList.kif 3517-3517
(externalImage HannoverGermany "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ Germany_CIA_map_extended.gif") pictureList.kif 3331-3331
(externalImage HannoverGermany "http://upload.wikimedia.org/wikipedia/commons/ e/ ef/ New_town_hall_Hannover.jpg") pictureList.kif 3515-3515
(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 &ames$"name" "Hannover"
(termFormat ChineseLanguage HannoverGermany "汉诺威德国") domainEnglishFormat.kif 27389-27389 Hannover germany has &ames$"name" "Hannover"
(termFormat ChineseTraditionalLanguage HannoverGermany "漢諾威德國") domainEnglishFormat.kif 27388-27388 Hannover germany has &ames$"name" "Hannover"
(termFormat EnglishLanguage HannoverGermany "hannover germany") domainEnglishFormat.kif 27387-27387 Hannover germany has &ames$"name" "Hannover"


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