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

KB Term:  Term intersection
English Word: 

Sigma KEE - Eritrea
Eritrea(eritrea)
Eritrea, State_of_Eritrea

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


(geographicSubregion Eritrea EasternAfrica) CountriesAndRegions.kif 99-99 Eritrea is a geographic subregion of eastern africa
(instance Eritrea Nation) CountriesAndRegions.kif 100-100 Eritrea is an instance of nation
(documentation Eritrea EnglishLanguage "The Nation of Eritrea.") CountriesAndRegions.kif 1233-1233 Eritrea is an instance of nation
(meetsSpatially Eritrea RedSea) Geography.kif 6360-6360 Eritrea meets red sea
(externalImage Eritrea "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ E/ Eritrea.png") pictureList.kif 414-414 Eritrea meets red sea

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


(geographicSubregion AsmaraEritrea Eritrea) CountriesAndRegions.kif 2571-2571 Asmara eritrea is a geographic subregion of eritrea
(names "Eritrea" Eritrea) CountriesAndRegions.kif 3938-3938 Eritrea has name "Eritrea"
(located AssabAirport Eritrea) WorldAirports.kif 1444-1444 Assab Airport is located at eritrea
(located YohannesIVAsmaraAirport Eritrea) WorldAirports.kif 1492-1492 Yohannes IV Asmara Airport is located at eritrea
(located MassawaAirport Eritrea) WorldAirports.kif 19924-19924 Massawa Airport is located at eritrea
(termFormat EnglishLanguage Eritrea "eritrea") domainEnglishFormat.kif 22387-22387 Massawa Airport is located at eritrea
(termFormat ChineseTraditionalLanguage Eritrea "厄立特里亞") domainEnglishFormat.kif 22388-22388 Massawa Airport is located at eritrea
(termFormat ChineseLanguage Eritrea "厄立特里亚") domainEnglishFormat.kif 22389-22389 Massawa Airport is located at eritrea

appearance as argument number 3
-------------------------


(codeMapping ISO_3166_1_alpha_2 "ER" Eritrea) Media.kif 2641-2641 "ER" in ISO_3166_1_alpha_2 denotes eritrea


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