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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Egypt
Egypt(egypt)
Arab_Republic_of_Egypt, Egypt, United_Arab_Republic

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


(currencyType Egypt EgyptianPound) Economy.kif 3462-3462 Egyptian pound is a currency type of egypt
(documentation Egypt EnglishLanguage "The Nation of Egypt.") CountriesAndRegions.kif 1230-1230 Egyptian pound is a currency type of egypt
(economyType Egypt DevelopingCountry) Economy.kif 644-644 Developing country is an economy type of egypt
(economyType Egypt LessDevelopedCountry) Economy.kif 260-260 Less developed country is an economy type of egypt
(externalImage Egypt "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ E/ Egypt.png") pictureList.kif 408-408 Less developed country is an economy type of egypt
(geographicSubregion Egypt NorthernAfrica) CountriesAndRegions.kif 118-118 Egypt is a geographic subregion of northern africa
(instance Egypt Nation) CountriesAndRegions.kif 119-119 Egypt is an instance of nation
(meetsSpatially Egypt RedSea) Geography.kif 5056-5056 Egypt meets red sea

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


(geographicSubregion AswanEgypt Egypt) CountriesAndRegions.kif 2570-2570 Aswan egypt is a geographic subregion of egypt
(geographicSubregion AsyutEgypt Egypt) CountriesAndRegions.kif 2572-2572 Asyut egypt is a geographic subregion of egypt
(geographicSubregion CairoEgypt Egypt) CountriesAndRegions.kif 2696-2696 Cairo egypt is a geographic subregion of egypt
(geographicSubregion GizaEgypt Egypt) CountriesAndRegions.kif 2877-2877 Giza egypt is a geographic subregion of egypt
(geographicSubregion HurghadaEgypt Egypt) CountriesAndRegions.kif 2938-2938 Hurghada egypt is a geographic subregion of egypt
(geographicSubregion LuxorEgypt Egypt) CountriesAndRegions.kif 3153-3153 Luxor egypt is a geographic subregion of egypt
(names "Egypt" Egypt) CountriesAndRegions.kif 3942-3942 Egypt has &ames$"name" "Egypt"
(termFormat ChineseLanguage Egypt "埃及") domainEnglishFormat.kif 21345-21345 Egypt has &ames$"name" "Egypt"
(termFormat ChineseTraditionalLanguage Egypt "埃及") domainEnglishFormat.kif 21344-21344 Egypt has &ames$"name" "Egypt"
(termFormat EnglishLanguage Egypt "egypt") domainEnglishFormat.kif 21343-21343 Egypt has &ames$"name" "Egypt"

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


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

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


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


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