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 instance Hawaii and AmericanState
(meetsSpatially Hawaii PacificOcean) CountriesAndRegions.kif 936-936 meetsSpatially Hawaii and PacificOcean

appearance as argument number 2

(capitalCity HonoluluHawaii Hawaii) CountriesAndRegions.kif 825-825 capitalCity HonoluluHawaii and Hawaii
(termFormat ChineseLanguage Hawaii "夏威夷") domainEnglishFormat.kif 27541-27541
(termFormat ChineseTraditionalLanguage Hawaii "夏威夷") domainEnglishFormat.kif 27540-27540
(termFormat EnglishLanguage Hawaii "hawaii") domainEnglishFormat.kif 27539-27539

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners