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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IzmirTurkey

Sigma KEE - IzmirTurkey
IzmirTurkey

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
(instance IzmirTurkey City) CountriesAndRegions.kif 1818-1818

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


(names "Izmir" IzmirTurkey) CountriesAndRegions.kif 2960-2960
(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