Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Mistral
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Mistral Wind) | Weather.kif 2080-2080 | Mistral is a subclass of wind |
| (documentation Mistral EnglishLanguage "The Mistral is a strong, cold, northwesterly wind that blows from southern France into the Gulf of Lion in the northern Mediterranean.[Wikipedia]") | Weather.kif 2081-2082 | Mistral is a subclass of wind |
| (externalImage Mistral "http://upload.wikimedia.org/wikipedia/commons/2/ 2f/ Provence_Mistral_Santon.jpg") | pictureList.kif 10127-10127 | Mistral is a subclass of wind |
| (externalImage Mistral "http://upload.wikimedia.org/wikipedia/commons/5/ 54/ Mistral_sur_le_Frioul.JPG") | pictureList.kif 11433-11433 | Mistral is a subclass of wind |
| (externalImage Mistral "http://upload.wikimedia.org/wikipedia/commons/6/ 65/ Bell_Tower_La_Cadiere_d%27Azur_Provence_France.jpg") | pictureList.kif 11434-11434 | Mistral is a subclass of wind |
| (externalImage Mistral "http://upload.wikimedia.org/wikipedia/commons/7/ 7f/ Mistral_wind1.jpg") | pictureList.kif 11435-11435 | Mistral is a subclass of wind |
| (externalImage Mistral "http://upload.wikimedia.org/wikipedia/commons/9/ 94/ Santon_in_Mistral_Wind_Arles.jpg") | pictureList.kif 11436-11436 | Mistral is a subclass of wind |
| (externalImage Mistral "http://upload.wikimedia.org/wikipedia/commons/a/ af/ Bent_Parasol_Pines_near_Hyeres.jpg") | pictureList.kif 11437-11437 | Mistral is a subclass of wind |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |
| (=> (and (instance ?W Mistral) (eventLocated ?W ?A)) (holdsDuring (WhenFn ?W) (surfaceWindDirection ?A Northwest))) |
Weather.kif 2096-2102 | If X is an instance of mistral and X is located at Y, then northwest of is a surface wind direction of Y holds during the time of existence of X |
|
