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


KB Term:  Term intersection
English Word: 

Sigma KEE - LaCeibaHonduras
LaCeibaHonduras(la ceiba honduras)

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


(instance LaCeibaHonduras City) CountriesAndRegions.kif 1940-1940 La ceiba honduras is an instance of city
(documentation LaCeibaHonduras EnglishLanguage "The City of LaCeiba in Honduras.") CountriesAndRegions.kif 1941-1941 La ceiba honduras is an instance of city
(geographicSubregion LaCeibaHonduras Honduras) CountriesAndRegions.kif 3100-3100 La ceiba honduras is a geographic subregion of honduras
(externalImage LaCeibaHonduras "http://upload.wikimedia.org/wikipedia/commons/ 8/ 83/ La_Ceiba.JPG") pictureList.kif 5130-5130 La ceiba honduras is a geographic subregion of honduras

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


(names "La Ceiba" LaCeibaHonduras) CountriesAndRegions.kif 3101-3101 La ceiba honduras has name "La Ceiba"
(termFormat EnglishLanguage LaCeibaHonduras "la ceiba honduras") domainEnglishFormat.kif 33057-33057 La ceiba honduras has name "La Ceiba"
(termFormat ChineseTraditionalLanguage LaCeibaHonduras "拉塞瓦洪都拉斯") domainEnglishFormat.kif 33058-33058 La ceiba honduras has name "La Ceiba"
(termFormat ChineseLanguage LaCeibaHonduras "拉塞瓦洪都拉斯") domainEnglishFormat.kif 33059-33059 La ceiba honduras has name "La Ceiba"


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners