| 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 48405-48405 | Quito ecuador has name "Quito" |
| (termFormat ChineseTraditionalLanguage QuitoEcuador "基多厄瓜多爾") | domainEnglishFormat.kif 48404-48404 | Quito ecuador has name "Quito" |
| (termFormat EnglishLanguage QuitoEcuador "quito ecuador") | domainEnglishFormat.kif 48403-48403 | Quito ecuador has name "Quito" |
|
|
|