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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Eritrea
Eritrea(eritrea)
Eritrea, State_of_Eritrea

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


s__documentation(s__Eritrea,s__EnglishLanguage,'"The Nation of Eritrea."')

CountriesAndRegions.kif 1233-1233
s__externalImage(s__Eritrea,'"http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ Country_Maps/ E/ Eritrea.png"')

pictureList.kif 414-414
s__geographicSubregion(s__Eritrea,s__EasternAfrica)

CountriesAndRegions.kif 99-99 Eritrea is a geographic subregion of eastern africa
s__instance(s__Eritrea,s__Nation)

s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 100-100 Eritrea is an instance of nation
s__meetsSpatially(s__Eritrea,s__RedSea)

Geography.kif 4493-4493 Eritrea meets red sea

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


s__geographicSubregion(s__AsmaraEritrea,s__Eritrea)

CountriesAndRegions.kif 2563-2563 Asmara eritrea is a geographic subregion of eritrea
s__names('"Eritrea"',s__Eritrea)

CountriesAndRegions.kif 3940-3940 Eritrea has name "Eritrea"
s__termFormat(s__ChineseLanguage,s__Eritrea,'"厄立特里亚"')

domainEnglishFormat.kif 22315-22315
s__termFormat(s__ChineseTraditionalLanguage,s__Eritrea,'"厄立特里亞"')

domainEnglishFormat.kif 22314-22314
s__termFormat(s__EnglishLanguage,s__Eritrea,'"eritrea"')

domainEnglishFormat.kif 22313-22313

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


s__codeMapping(s__ISO_3166_1_alpha_2,'"ER"',s__Eritrea)

Media.kif 2664-2664 "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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners