Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MombassaKenya(mombassa kenya) |  | Mombasa |
| appearance as argument number 1 |
|
|
| (instance MombassaKenya City) | CountriesAndRegions.kif 2072-2072 | Mombassa kenya is an instance of city |
| (documentation MombassaKenya EnglishLanguage "The City of Mombassa in Kenya.") | CountriesAndRegions.kif 2073-2073 | Mombassa kenya is an instance of city |
| (geographicSubregion MombassaKenya Kenya) | CountriesAndRegions.kif 3251-3251 | Mombassa kenya is a geographic subregion of kenya |
| appearance as argument number 2 |
|
|
| (names "Mombassa" MombassaKenya) | CountriesAndRegions.kif 3252-3252 | Mombassa kenya has name "Mombassa" |
| (termFormat EnglishLanguage MombassaKenya "mombassa kenya") | domainEnglishFormat.kif 38303-38303 | Mombassa kenya has name "Mombassa" |
| (termFormat ChineseTraditionalLanguage MombassaKenya "蒙巴薩肯尼亞") | domainEnglishFormat.kif 38304-38304 | Mombassa kenya has name "Mombassa" |
| (termFormat ChineseLanguage MombassaKenya "蒙巴萨肯尼亚") | domainEnglishFormat.kif 38305-38305 | Mombassa kenya has name "Mombassa" |
|