| Kenya
| | Kenya, Republic_of_Kenya |
| appearance as argument number 1 |
|
|
| (currencyType Kenya KenyanShilling) | Economy.kif 3581-3581 | currencyType Kenya and KenyanShilling |
| (documentation Kenya EnglishLanguage "The Nation of Kenya.") | CountriesAndRegions.kif 1271-1271 | currencyType Kenya and KenyanShilling |
| (economyType Kenya DevelopingCountry) | Economy.kif 665-665 | economyType Kenya and DevelopingCountry |
| (economyType Kenya LessDevelopedCountry) | Economy.kif 281-281 | economyType Kenya and LessDevelopedCountry |
| (externalImage Kenya "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ K/ Kenya.png") | pictureList.kif 536-536 | economyType Kenya and LessDevelopedCountry |
| (geographicSubregion Kenya EasternAfrica) | CountriesAndRegions.kif 103-103 | geographicSubregion Kenya and EasternAfrica |
| (instance Kenya Nation) | CountriesAndRegions.kif 104-104 | Kenya is an instance of nation |
| appearance as argument number 2 |
|
|
| (geographicSubregion MombassaKenya Kenya) | CountriesAndRegions.kif 3251-3251 | geographicSubregion MombassaKenya and Kenya |
| (geographicSubregion NairobiKenya Kenya) | CountriesAndRegions.kif 3287-3287 | geographicSubregion NairobiKenya and Kenya |
| (names "Kenya" Kenya) | CountriesAndRegions.kif 3940-3940 | Kenya has &ames$"name" "Kenya" |
| (termFormat ChineseLanguage Kenya "肯尼亚") | domainEnglishFormat.kif 32327-32327 | Kenya has &ames$"name" "Kenya" |
| (termFormat ChineseTraditionalLanguage Kenya "肯尼亞") | domainEnglishFormat.kif 32326-32326 | Kenya has &ames$"name" "Kenya" |
| (termFormat EnglishLanguage Kenya "kenya") | domainEnglishFormat.kif 32325-32325 | Kenya has &ames$"name" "Kenya" |
| appearance as argument number 3 |
|
|
| (codeMapping ISO_3166_1_alpha_2 "KE" Kenya) | Media.kif 2732-2732 | codeMapping ISO_3166_1_alpha_2, "KE" and Kenya |
|
|
|