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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 " pictures/ geography/ US_States/ hawaii.png") pictureList.kif 492-492
(instance Hawaii AmericanState) CountriesAndRegions.kif 935-935
(meetsSpatially Hawaii PacificOcean) CountriesAndRegions.kif 936-936

appearance as argument number 2

(capitalCity HonoluluHawaii Hawaii) CountriesAndRegions.kif 825-825
(termFormat ChineseLanguage Hawaii "夏威夷") domainEnglishFormat.kif 27609-27609
(termFormat ChineseTraditionalLanguage Hawaii "夏威夷") domainEnglishFormat.kif 27608-27608
(termFormat EnglishLanguage Hawaii "hawaii") domainEnglishFormat.kif 27607-27607

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