| 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 | |
| (externalImage HonoluluHawaii "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Honolulu_Downtown.jpg") | pictureList.kif 5264-5264 | |
| (externalImage HonoluluHawaii "http://upload.wikimedia.org/wikipedia/en/ c/ ce/ IMG_9491r-vi.jpg") | pictureList.kif 5263-5263 | |
| (instance HonoluluHawaii AmericanCity) | CountriesAndRegions.kif 824-824 | instance HonoluluHawaii and AmericanCity |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage HonoluluHawaii "檀香山夏威夷") | domainEnglishFormat.kif 28435-28435 | |
| (termFormat ChineseTraditionalLanguage HonoluluHawaii "檀香山夏威夷") | domainEnglishFormat.kif 28434-28434 | |
| (termFormat EnglishLanguage HonoluluHawaii "honolulu hawaii") | domainEnglishFormat.kif 28433-28433 |
|
|
|