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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Hawaii
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 HawaiiAmericanStateinstance では %n
(meetsSpatially Hawaii PacificOcean) CountriesAndRegions.kif 936-936 HawaiiPacificOceanmeets %n{ない}

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


(capitalCity HonoluluHawaii Hawaii) CountriesAndRegions.kif 825-825 capitalCity HonoluluHawaii and Hawaii
(termFormat ChineseLanguage Hawaii "夏威夷") domainEnglishFormat.kif 27618-27618
(termFormat ChineseTraditionalLanguage Hawaii "夏威夷") domainEnglishFormat.kif 27617-27617
(termFormat EnglishLanguage Hawaii "hawaii") domainEnglishFormat.kif 27616-27616


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