Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Egypt(egypt)
|  | Arab_Republic_of_Egypt, Egypt, United_Arab_Republic |
| appearance as argument number 1 |
|
|
| (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 |
| (documentation Egypt EnglishLanguage "The Nation of Egypt.") | CountriesAndRegions.kif 1230-1230 | Egypt is an instance of nation |
| (economyType Egypt LessDevelopedCountry) | Economy.kif 260-260 | Less developed country is an economy type of egypt |
| (economyType Egypt DevelopingCountry) | Economy.kif 644-644 | Developing country is an economy type of egypt |
| (currencyType Egypt EgyptianPound) | Economy.kif 3457-3457 | Egyptian pound is a currency type of egypt |
| (meetsSpatially Egypt RedSea) | Geography.kif 6358-6358 | Egypt meets red sea |
| (externalImage Egypt "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ E/ Egypt.png") | pictureList.kif 408-408 | Egypt meets red sea |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (codeMapping ISO_3166_1_alpha_2 "EG" Egypt) | Media.kif 2640-2640 | "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 2060-2066 | If X is an instance of khamsin and X is located at Y, then equal Y and egypt or equal Y and Levant Region |
|