Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
NairobiKenya(nairobi kenya)
|  | Nairobi, capital_of_Kenya |
| appearance as argument number 1 |
|
|
| (instance NairobiKenya City) | CountriesAndRegions.kif 2102-2102 | Nairobi kenya is an instance of city |
| (documentation NairobiKenya EnglishLanguage "The City of Nairobi in Kenya.") | CountriesAndRegions.kif 2103-2103 | Nairobi kenya is an instance of city |
| (geographicSubregion NairobiKenya Kenya) | CountriesAndRegions.kif 3287-3287 | Nairobi kenya is a geographic subregion of kenya |
| (externalImage NairobiKenya "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 5/ 57/ KE_Nairobi.png/ 200px_KE_Nairobi.png") | pictureList.kif 1386-1386 | Nairobi kenya is a geographic subregion of kenya |
| appearance as argument number 2 |
|
|
| (names "Nairobi" NairobiKenya) | CountriesAndRegions.kif 3288-3288 | Nairobi kenya has name "Nairobi" |
| (termFormat EnglishLanguage NairobiKenya "nairobi kenya") | domainEnglishFormat.kif 39637-39637 | Nairobi kenya has name "Nairobi" |
| (termFormat ChineseTraditionalLanguage NairobiKenya "內羅畢肯尼亞") | domainEnglishFormat.kif 39638-39638 | Nairobi kenya has name "Nairobi" |
| (termFormat ChineseLanguage NairobiKenya "内罗毕肯尼亚") | domainEnglishFormat.kif 39639-39639 | Nairobi kenya has name "Nairobi" |
|