Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   DistilledAlcoholicBeverage
|
|
|
| appearance as argument number 1 |
|
|
| (instance MediterraneanSea Sea) | Geography.kif 6340-6340 | Mediterranean sea is an instance of sea |
| (documentation MediterraneanSea EnglishLanguage "MediterraneanSea is a sea connected to the Atlantic Ocean, surrounded by the Mediterranean basin and almost completely enclosed by land: on the east by the Levant in West Asia, on the north by Anatolia in West Asia and Southern Europe, on the south by North Africa, and on the west almost by the Morocco–Spain border. The Mediterranean Sea covers an area of about 2,500,000 km2 (970,000 sq mi), representing 0.7% of the global ocean surface, but its connection to the Atlantic via the Strait of Gibraltar—the narrow strait that connects the Atlantic Ocean to the Mediterranean Sea and separates the Iberian Peninsula in Europe from Morocco in Africa—is only 14 km (9 mi) wide. [Wikipedia]") | Geography.kif 6341-6349 | Mediterranean sea is an instance of sea |
| (totalArea MediterraneanSea (MeasureFn 2500000 SquareKilometer)) |
Geography.kif 6351-6351 | 2500000 Square kilometer(s) is a total area of mediterranean sea |
| (orientation MediterraneanSea MediterraneanRegion Surrounded) | Geography.kif 6352-6352 | Mediterranean sea is surrounded by to Mediterranean Region |
| (climateTypeInArea MediterraneanSea MediterraneanClimateZone) | Geography.kif 6353-6353 | Mediterranean climate zone is a climate type in area of mediterranean sea |
| (orientation MediterraneanSea GulfOfLion South) | Geography.kif 6750-6750 | Mediterranean sea is south of to Gulf Of Lion |
| (orientation MediterraneanSea SaharaDesert North) | Geography.kif 8278-8278 | Mediterranean sea is north of to Sahara Desert |
| (externalImage MediterraneanSea "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2c/ Mediterranean_Relief.jpg") | pictureList.kif 4777-4777 | Mediterranean sea is north of to Sahara Desert |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (and (instance ?W Sirocco) (eventLocated ?W ?R) (origin ?W SaharaDesert)) (or (equal ?R MediterraneanSea) (equal ?R MediterraneanRegion))) |
Weather.kif 1970-1977 | If X is an instance of sirocco, X is located at Y, and X originates at Sahara Desert, then equal Y and mediterranean sea or equal Y and Mediterranean Region |
| (=> (and (instance ?W Mistral) (eventLocated ?W ?A) (instance ?A GeographicArea) (origin ?W SouthernFrance) (destination ?W GulfOfLion)) (and (geographicSubregion ?A MediterraneanRegion) (orientation ?A MediterraneanSea North) (geographicSubregion ?A SoutheasternEurope))) |
Weather.kif 2084-2094 | If X is an instance of mistral, X is located at Y, Y is an instance of geographic area, X originates at Southern France, and X ends up at Gulf Of Lion, then Y is a geographic subregion of Mediterranean Region, Y is north of to mediterranean sea, and Y is a geographic subregion of southeastern europe |
|
