| HonoluluHawaii
| |
| appearance as argument number 1 |
|
|
| (capitalCity HonoluluHawaii Hawaii) | CountriesAndRegions.kif 825-825 | capitalCity HonoluluHawaii and Hawaii |
| (documentation HonoluluHawaii EnglishLanguage "The capital and largest City in Hawaii.") | CountriesAndRegions.kif 826-826 | capitalCity HonoluluHawaii and Hawaii |
| (externalImage HonoluluHawaii "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Honolulu_Downtown.jpg") | pictureList.kif 5262-5262 | capitalCity HonoluluHawaii and Hawaii |
| (externalImage HonoluluHawaii "http://upload.wikimedia.org/wikipedia/en/ c/ ce/ IMG_9491r_vi.jpg") | pictureList.kif 5261-5261 | capitalCity HonoluluHawaii and Hawaii |
| (instance HonoluluHawaii AmericanCity) | CountriesAndRegions.kif 824-824 | HonoluluHawaii は AmericanCity の instance では |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage HonoluluHawaii "檀香山夏威夷") | domainEnglishFormat.kif 28544-28544 | |
| (termFormat ChineseTraditionalLanguage HonoluluHawaii "檀香山夏威夷") | domainEnglishFormat.kif 28543-28543 | |
| (termFormat EnglishLanguage HonoluluHawaii "honolulu hawaii") | domainEnglishFormat.kif 28542-28542 |
|
|
|