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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Hawaii
Hawaii(hawaii)
Aloha_State, HI, Hawai'i, Hawaii

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


(documentation Hawaii EnglishLanguage "An AmericanState that consists of several Islands in the central PacificOcean.") CountriesAndRegions.kif 937-938
(externalImage Hawaii "http://articulatesoftware.com/SUMOpictures/geography/ US_States/ hawaii.png") pictureList.kif 492-492
(instance Hawaii AmericanState) CountriesAndRegions.kif 935-935 Hawaii is an instance of american state
(meetsSpatially Hawaii PacificOcean) CountriesAndRegions.kif 936-936 Hawaii meets pacific ocean

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


(capitalCity HonoluluHawaii Hawaii) CountriesAndRegions.kif 825-825 Hawaii is a capital city of honolulu hawaii
(termFormat ChineseLanguage Hawaii "夏威夷") domainEnglishFormat.kif 27652-27652 Hawaii is a capital city of honolulu hawaii
(termFormat ChineseTraditionalLanguage Hawaii "夏威夷") domainEnglishFormat.kif 27651-27651 Hawaii is a capital city of honolulu hawaii
(termFormat EnglishLanguage Hawaii "hawaii") domainEnglishFormat.kif 27650-27650 Hawaii is a capital city of honolulu hawaii


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 is open source software produced by Articulate Software and its partners