| 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 39633-39633 | |
| (termFormat ChineseTraditionalLanguage NairobiKenya "內羅畢肯尼亞") | domainEnglishFormat.kif 39632-39632 | |
| (termFormat EnglishLanguage NairobiKenya "nairobi kenya") | domainEnglishFormat.kif 39631-39631 |
|
|
|