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
-------------------------


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1233-1233
No TPTP formula. May not be expressible in strict first order. pictureList.kif 414-414
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 99-99 Eritrea is a geographic subregion of eastern africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 100-100 Eritrea is an instance of nation
No TPTP formula. May not be expressible in strict first order. Geography.kif 5058-5058 Eritrea meets red sea

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2566-2566 Asmara eritrea is a geographic subregion of eritrea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3933-3933 Eritrea has &ames$"name" "Eritrea"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22396-22396 Eritrea has &ames$"name" "Eritrea"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22395-22395 Eritrea has &ames$"name" "Eritrea"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22394-22394 Eritrea has &ames$"name" "Eritrea"

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2696-2696 "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 is open source software produced by Articulate Software and its partners