Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  LevantRegion
|
|
|
| appearance as argument number 1 |
|
|
| (instance LevantRegion GeographicArea) | Geography.kif 298-298 | Levant Region is an instance of geographic area |
| (documentation LevantRegion EnglishLanguage "LevantRegion is the subregion that borders the Eastern Mediterranean sea to the west, and forms the core of West Asia and the political term, Middle East. In its narrowest sense, which is in use today in archaeology and other cultural contexts, it is equivalent to Cyprus and a stretch of land bordering the Mediterranean Sea in Western Asia that is, the historical region of Syria (Greater Syria), which includes present-day Syria, as well as Lebanon, Jordan, Palestine, Israel, and the southern part of Cilicia (modern-day Turkey). Its overwhelming characteristic is that it represents the land bridge between Africa and Eurasia.[Wikipedia]") | Geography.kif 299-306 | Levant Region is an instance of geographic area |
| (geographicSubregion LevantRegion MiddleEastRegion) | Geography.kif 308-308 | Levant Region is a geographic subregion of middle east region |
| (orientation LevantRegion MediterraneanRegion West) | Geography.kif 309-309 | Levant Region is west of to Mediterranean Region |
| (climateTypeInArea LevantRegion AridClimateZone) | Geography.kif 310-310 | Arid climate zone is a climate type in area of Levant Region |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage LevantRegion "Levant Region") | Geography.kif 307-307 | |
| (geographicSubregion Israel LevantRegion) | Geography.kif 311-311 | Israel is a geographic subregion of Levant Region |
| (geographicSubregion Syria LevantRegion) | Geography.kif 312-312 | Syria is a geographic subregion of Levant Region |
| (geographicSubregion Lebanon LevantRegion) | Geography.kif 313-313 | Lebanon is a geographic subregion of Levant Region |
| (geographicSubregion Jordan LevantRegion) | Geography.kif 314-314 | Jordan is a geographic subregion of Levant Region |
| (geographicSubregion Palestine LevantRegion) | Geography.kif 315-315 | Palestine is a geographic subregion of Levant Region |
| (geographicSubregion AntakyaTurkey LevantRegion) | Geography.kif 316-316 | Antakya turkey is a geographic subregion of Levant Region |
| 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 |
|