| Egypt
| | Arab_Republic_of_Egypt, Egypt, United_Arab_Republic |
| appearance as argument number 1 |
|
|
| (currencyType Egypt EgyptianPound) | Economy.kif 3457-3457 | currencyType Egypt and EgyptianPound |
| (documentation Egypt EnglishLanguage "The Nation of Egypt.") | CountriesAndRegions.kif 1230-1230 | currencyType Egypt and EgyptianPound |
| (economyType Egypt DevelopingCountry) | Economy.kif 644-644 | economyType Egypt and DevelopingCountry |
| (economyType Egypt LessDevelopedCountry) | Economy.kif 260-260 | economyType Egypt and LessDevelopedCountry |
| (externalImage Egypt "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ E/ Egypt.png") | pictureList.kif 408-408 | economyType Egypt and LessDevelopedCountry |
| (geographicSubregion Egypt NorthernAfrica) | CountriesAndRegions.kif 118-118 | geographicSubregion Egypt and NorthernAfrica |
| (instance Egypt Nation) | CountriesAndRegions.kif 119-119 | Egypt is an instance of nation |
| (meetsSpatially Egypt RedSea) | Geography.kif 6368-6368 | Egypt meets RedSea |
| appearance as argument number 2 |
|
|
| (geographicSubregion AswanEgypt Egypt) | CountriesAndRegions.kif 2575-2575 | geographicSubregion AswanEgypt and Egypt |
| (geographicSubregion AsyutEgypt Egypt) | CountriesAndRegions.kif 2577-2577 | geographicSubregion AsyutEgypt and Egypt |
| (geographicSubregion CairoEgypt Egypt) | CountriesAndRegions.kif 2701-2701 | geographicSubregion CairoEgypt and Egypt |
| (geographicSubregion GizaEgypt Egypt) | CountriesAndRegions.kif 2882-2882 | geographicSubregion GizaEgypt and Egypt |
| (geographicSubregion HurghadaEgypt Egypt) | CountriesAndRegions.kif 2943-2943 | geographicSubregion HurghadaEgypt and Egypt |
| (geographicSubregion LuxorEgypt Egypt) | CountriesAndRegions.kif 3158-3158 | geographicSubregion LuxorEgypt and Egypt |
| (names "Egypt" Egypt) | CountriesAndRegions.kif 3947-3947 | Egypt has &ames$"name" "Egypt" |
| (termFormat ChineseLanguage Egypt "埃及") | domainEnglishFormat.kif 21344-21344 | Egypt has &ames$"name" "Egypt" |
| (termFormat ChineseTraditionalLanguage Egypt "埃及") | domainEnglishFormat.kif 21343-21343 | Egypt has &ames$"name" "Egypt" |
| (termFormat EnglishLanguage Egypt "egypt") | domainEnglishFormat.kif 21342-21342 | Egypt has &ames$"name" "Egypt" |
| appearance as argument number 3 |
|
|
| (codeMapping ISO_3166_1_alpha_2 "EG" Egypt) | Media.kif 2695-2695 | codeMapping ISO_3166_1_alpha_2, "EG" and Egypt |
| consequent |
|
|
| (=> (and (instance ?W Khamsin) (eventLocated ?W ?A)) (or (equal ?A Egypt) (equal ?A LevantRegion))) |
Weather.kif 2075-2081 |
|
|
|
|