![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
NavassaIsland
|
|
|
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| (names "Navassa Island" NavassaIsland) | CountriesAndRegions.kif 4102-4102 | Navassa island has name "Navassa Island" |
| (termFormat EnglishLanguage NavassaIsland "navassa island") | domainEnglishFormat.kif 39967-39967 | Navassa island has name "Navassa Island" |
| (termFormat ChineseTraditionalLanguage NavassaIsland "納瓦薩島") | domainEnglishFormat.kif 39968-39968 | Navassa island has name "Navassa Island" |
| (termFormat ChineseLanguage NavassaIsland "纳瓦萨岛") | domainEnglishFormat.kif 39969-39969 | Navassa island has name "Navassa Island" |