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 では
(meetsSpatially Hawaii PacificOcean) CountriesAndRegions.kif 936-936 HawaiiPacificOceanmeets

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


(capitalCity HonoluluHawaii Hawaii) CountriesAndRegions.kif 825-825 capitalCity HonoluluHawaii and Hawaii
(termFormat ChineseLanguage Hawaii "夏威夷") domainEnglishFormat.kif 27629-27629 capitalCity HonoluluHawaii and Hawaii
(termFormat ChineseTraditionalLanguage Hawaii "夏威夷") domainEnglishFormat.kif 27628-27628 capitalCity HonoluluHawaii and Hawaii
(termFormat EnglishLanguage Hawaii "hawaii") domainEnglishFormat.kif 27627-27627 capitalCity HonoluluHawaii and 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