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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Egypt

Sigma KEE - Egypt
Egypt

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


(currencyType Egypt EgyptianPound) Economy.kif 3462-3462
(documentation Egypt EnglishLanguage "The Nation of Egypt.") CountriesAndRegions.kif 1230-1230
(economyType Egypt DevelopingCountry) Economy.kif 644-644
(economyType Egypt LessDevelopedCountry) Economy.kif 260-260
(externalImage Egypt "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ E/ Egypt.png") pictureList.kif 408-408
(geographicSubregion Egypt NorthernAfrica) CountriesAndRegions.kif 118-118
(instance Egypt Nation) CountriesAndRegions.kif 119-119
(meetsSpatially Egypt RedSea) Geography.kif 5023-5023

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


(geographicSubregion AswanEgypt Egypt) CountriesAndRegions.kif 2570-2570
(geographicSubregion AsyutEgypt Egypt) CountriesAndRegions.kif 2572-2572
(geographicSubregion CairoEgypt Egypt) CountriesAndRegions.kif 2696-2696
(geographicSubregion GizaEgypt Egypt) CountriesAndRegions.kif 2877-2877
(geographicSubregion HurghadaEgypt Egypt) CountriesAndRegions.kif 2938-2938
(geographicSubregion LuxorEgypt Egypt) CountriesAndRegions.kif 3153-3153
(names "Egypt" Egypt) CountriesAndRegions.kif 3942-3942
(termFormat ChineseLanguage Egypt "埃及") domainEnglishFormat.kif 21345-21345
(termFormat ChineseTraditionalLanguage Egypt "埃及") domainEnglishFormat.kif 21344-21344
(termFormat EnglishLanguage Egypt "egypt") domainEnglishFormat.kif 21343-21343

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


(codeMapping ISO_3166_1_alpha_2 "EG" Egypt) Media.kif 2695-2695

consequent
-------------------------


(=>
    (and
        (instance ?W Khamsin)
        (eventLocated ?W ?A))
    (or
        (equal ?A Egypt)
        (equal ?A LevantRegion)))
Weather.kif 1615-1621


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