| QuitoEcuador(quito ecuador) | | Quito, capital_of_Ecuador |
| appearance as argument number 1 |
|
|
| (documentation QuitoEcuador EnglishLanguage "The City of Quito in Ecuador.") | CountriesAndRegions.kif 2218-2218 | |
| (geographicSubregion QuitoEcuador Ecuador) | CountriesAndRegions.kif 3409-3409 | Quito ecuador is a geographic subregion of ecuador |
| (instance QuitoEcuador City) | CountriesAndRegions.kif 2217-2217 | Quito ecuador is an instance of city |
| appearance as argument number 2 |
|
|
| (names "Quito" QuitoEcuador) | CountriesAndRegions.kif 3410-3410 | Quito ecuador has name "Quito" |
| (termFormat ChineseLanguage QuitoEcuador "基多厄瓜多尔") | domainEnglishFormat.kif 48412-48412 | Quito ecuador has name "Quito" |
| (termFormat ChineseTraditionalLanguage QuitoEcuador "基多厄瓜多爾") | domainEnglishFormat.kif 48411-48411 | Quito ecuador has name "Quito" |
| (termFormat EnglishLanguage QuitoEcuador "quito ecuador") | domainEnglishFormat.kif 48410-48410 | Quito ecuador has name "Quito" |
|
|
|