Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - HonoluluHawaii
HonoluluHawaii(honolulu hawaii)
Hawaiian_capital, Honolulu, capital_of_Hawaii

appearance as argument number 1
-------------------------


(instance HonoluluHawaii AmericanCity) CountriesAndRegions.kif 824-824 Honolulu hawaii is an instance of american city
(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/en/ c/ ce/ IMG_9491r_vi.jpg") pictureList.kif 5261-5261 Hawaii is a capital city of honolulu hawaii
(externalImage HonoluluHawaii "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Honolulu_Downtown.jpg") pictureList.kif 5262-5262 Hawaii is a capital city of honolulu hawaii

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage HonoluluHawaii "honolulu hawaii") domainEnglishFormat.kif 28535-28535
(termFormat ChineseTraditionalLanguage HonoluluHawaii "檀香山夏威夷") domainEnglishFormat.kif 28536-28536
(termFormat ChineseLanguage HonoluluHawaii "檀香山夏威夷") domainEnglishFormat.kif 28537-28537


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners