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


KB Term:  Term intersection
English Word: 

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

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


(instance IzmirTurkey City) CountriesAndRegions.kif 1822-1822 Izmir turkey is an instance of city
(documentation IzmirTurkey EnglishLanguage "The City of Izmir in Turkey.") CountriesAndRegions.kif 1823-1823 Izmir turkey is an instance of city
(geographicSubregion IzmirTurkey Turkey) CountriesAndRegions.kif 2965-2965 Izmir turkey is a geographic subregion of turkey
(externalImage IzmirTurkey "http://upload.wikimedia.org/wikipedia/commons/ 0/ 00/ Izmir_from_Konak_Pier.jpg") pictureList.kif 4748-4748 Izmir turkey is a geographic subregion of turkey
(externalImage IzmirTurkey "http://upload.wikimedia.org/wikipedia/commons/ 4/ 44/ Turkey_pozKarta.png") pictureList.kif 5000-5000 Izmir turkey is a geographic subregion of turkey
(externalImage IzmirTurkey "http://upload.wikimedia.org/wikipedia/commons/ c/ c4/ Izmir_Clock_Tower.jpg") pictureList.kif 5001-5001 Izmir turkey is a geographic subregion of turkey
(externalImage IzmirTurkey "http://upload.wikimedia.org/wikipedia/commons/ 2/ 20/ Izmir023.jpg") pictureList.kif 5003-5003 Izmir turkey is a geographic subregion of turkey

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


(names "Izmir" IzmirTurkey) CountriesAndRegions.kif 2966-2966 Izmir turkey has name "Izmir"
(termFormat EnglishLanguage IzmirTurkey "izmir turkey") domainEnglishFormat.kif 31347-31347 Izmir turkey has name "Izmir"
(termFormat ChineseTraditionalLanguage IzmirTurkey "伊茲密爾土耳其") domainEnglishFormat.kif 31348-31348 Izmir turkey has name "Izmir"
(termFormat ChineseLanguage IzmirTurkey "伊兹密尔土耳其") domainEnglishFormat.kif 31349-31349 Izmir turkey has name "Izmir"


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners