![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
IzmirTurkey(izmir turkey)
| Izmir, Smyrna |
| appearance as argument number 1 |
|
|
| 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" |