| NairobiKenya(nairobi kenya)
| | Nairobi, capital_of_Kenya |
| appearance as argument number 1 |
|
|
| (documentation NairobiKenya EnglishLanguage "The City of Nairobi in Kenya.") | CountriesAndRegions.kif 2099-2099 | |
| (externalImage NairobiKenya "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 5/ 57/ KE_Nairobi.png/ 200px_KE_Nairobi.png") | pictureList.kif 1386-1386 | |
| (geographicSubregion NairobiKenya Kenya) | CountriesAndRegions.kif 3284-3284 | Nairobi kenya is a geographic subregion of kenya |
| (instance NairobiKenya City) | CountriesAndRegions.kif 2098-2098 | Nairobi kenya is an instance of city |
| appearance as argument number 2 |
|
|
| (names "Nairobi" NairobiKenya) | CountriesAndRegions.kif 3285-3285 | Nairobi kenya has name "Nairobi" |
| (termFormat ChineseLanguage NairobiKenya "内罗毕肯尼亚") | domainEnglishFormat.kif 39663-39663 | Nairobi kenya has name "Nairobi" |
| (termFormat ChineseTraditionalLanguage NairobiKenya "內羅畢肯尼亞") | domainEnglishFormat.kif 39662-39662 | Nairobi kenya has name "Nairobi" |
| (termFormat EnglishLanguage NairobiKenya "nairobi kenya") | domainEnglishFormat.kif 39661-39661 | Nairobi kenya has name "Nairobi" |
|
|
|