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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IzmirTurkey

Sigma KEE - IzmirTurkey
IzmirTurkey(izmir turkey)
Izmir, Smyrna

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


(documentation IzmirTurkey EnglishLanguage "The City of Izmir in Turkey.") CountriesAndRegions.kif 1819-1819
(externalImage IzmirTurkey "http://upload.wikimedia.org/wikipedia/commons/ 0/ 00/ Izmir_from_Konak_Pier.jpg") pictureList.kif 4749-4749
(externalImage IzmirTurkey "http://upload.wikimedia.org/wikipedia/commons/ 2/ 20/ Izmir023.jpg") pictureList.kif 5004-5004
(externalImage IzmirTurkey "http://upload.wikimedia.org/wikipedia/commons/ 4/ 44/ Turkey-pozKarta.png") pictureList.kif 5001-5001
(externalImage IzmirTurkey "http://upload.wikimedia.org/wikipedia/commons/ c/ c4/ Izmir_Clock_Tower.jpg") pictureList.kif 5002-5002
(geographicSubregion IzmirTurkey Turkey) CountriesAndRegions.kif 2959-2959 Izmir turkey is a geographic subregion of turkey
(instance IzmirTurkey City) CountriesAndRegions.kif 1818-1818 Izmir turkey is an instance of city

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


(names "Izmir" IzmirTurkey) CountriesAndRegions.kif 2960-2960 Izmir turkey has name "Izmir"
(termFormat ChineseLanguage IzmirTurkey "伊兹密尔土耳其") domainEnglishFormat.kif 31345-31345
(termFormat ChineseTraditionalLanguage IzmirTurkey "伊茲密爾土耳其") domainEnglishFormat.kif 31344-31344
(termFormat EnglishLanguage IzmirTurkey "izmir turkey") domainEnglishFormat.kif 31343-31343


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