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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HannoverGermany

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 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 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 2906-2906 Hannover germany has name "Hannover"
(termFormat ChineseLanguage HannoverGermany "汉诺威德国") domainEnglishFormat.kif 27378-27378
(termFormat ChineseTraditionalLanguage HannoverGermany "漢諾威德國") domainEnglishFormat.kif 27377-27377
(termFormat EnglishLanguage HannoverGermany "hannover germany") domainEnglishFormat.kif 27376-27376


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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