| HonoluluHawaii(honolulu hawaii)
| | Hawaiian_capital, Honolulu, capital_of_Hawaii |
| appearance as argument number 1 |
|
|
| (capitalCity HonoluluHawaii Hawaii) | CountriesAndRegions.kif 825-825 | Hawaii is a capital city of honolulu hawaii |
| (documentation HonoluluHawaii EnglishLanguage "The capital and largest City in Hawaii.") | CountriesAndRegions.kif 826-826 | Hawaii is a capital city of honolulu hawaii |
| (externalImage HonoluluHawaii "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Honolulu_Downtown.jpg") | pictureList.kif 5263-5263 | Hawaii is a capital city of honolulu hawaii |
| (externalImage HonoluluHawaii "http://upload.wikimedia.org/wikipedia/en/ c/ ce/ IMG_9491r-vi.jpg") | pictureList.kif 5262-5262 | Hawaii is a capital city of honolulu hawaii |
| (instance HonoluluHawaii AmericanCity) | CountriesAndRegions.kif 824-824 | Honolulu hawaii is an instance of american city |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage HonoluluHawaii "檀香山夏威夷") | domainEnglishFormat.kif 28567-28567 | |
| (termFormat ChineseTraditionalLanguage HonoluluHawaii "檀香山夏威夷") | domainEnglishFormat.kif 28566-28566 | |
| (termFormat EnglishLanguage HonoluluHawaii "honolulu hawaii") | domainEnglishFormat.kif 28565-28565 |
|
|
|