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



KB Term:  Term intersection
English Word: 

  HonoluluHawaii

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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