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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HonoluluHawaii

Sigma KEE - HonoluluHawaii
HonoluluHawaii(檀香山夏威夷)

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


(capitalCity HonoluluHawaii Hawaii) CountriesAndRegions.kif 825-825 夏威夷檀香山夏威夷capital 城市
(documentation HonoluluHawaii EnglishLanguage "The capital and largest City in Hawaii.") CountriesAndRegions.kif 826-826
(externalImage HonoluluHawaii "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Honolulu_Downtown.jpg") pictureList.kif 5263-5263
(externalImage HonoluluHawaii "http://upload.wikimedia.org/wikipedia/en/ c/ ce/ IMG_9491r-vi.jpg") pictureList.kif 5262-5262
(instance HonoluluHawaii AmericanCity) CountriesAndRegions.kif 824-824 檀香山夏威夷美国城市instance

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


(termFormat ChineseLanguage HonoluluHawaii "檀香山夏威夷") domainEnglishFormat.kif 28533-28533
(termFormat ChineseTraditionalLanguage HonoluluHawaii "檀香山夏威夷") domainEnglishFormat.kif 28532-28532
(termFormat EnglishLanguage HonoluluHawaii "honolulu hawaii") domainEnglishFormat.kif 28531-28531


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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