Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FohnWind(Fohn wind) |
| appearance as argument number 1 |
|
| (subclass FohnWind Wind) | Weather.kif 2168-2168 | Fohn wind is a subclass of wind |
| (documentation FohnWind EnglishLanguage "A FohnWind is a type of dry, relatively warm downslope wind in the lee of a mountain range. It is a rain shadow wind that results from the subsequent adiabatic warming of air that has dropped most of its moisture on windward slopes. As a consequence of the different adiabatic lapse rates of moist and dry air, the air on the leeward slopes becomes warmer than equivalent elevations on the windward slopes.[Wikipedia]") | Weather.kif 2169-2173 | Fohn wind is a subclass of wind |
| appearance as argument number 2 |
|
|
| (subclass InteriorChinookWind FohnWind) | Weather.kif 2155-2155 | Interior chinook wind is a subclass of Fohn wind |
| (termFormat EnglishLanguage FohnWind "Fohn wind") | Weather.kif 2174-2174 | Interior chinook wind is a subclass of Fohn wind |
| (names "Föhn" FohnWind) | Weather.kif 2175-2175 | Fohn wind has name "Föhn" |
| (names "Foehn" FohnWind) | Weather.kif 2176-2176 | Fohn wind has name "Foehn" |
| (subclass ZondaWind FohnWind) | Weather.kif 2199-2199 | Zonda wind is a subclass of Fohn wind |
| (relatedInternalConcept KatabaticWind FohnWind) | Weather.kif 2499-2499 | Katabatic wind is internally related to Fohn wind |
| antecedent |
|
|
| (=> (and (instance ?W FohnWind) (path ?W ?P) (origin ?W ?H) (destination ?W ?L) (beforeOnPath ?H ?L ?P ?W)) (orientation ?L ?H Downhill)) |
Weather.kif 2178-2185 | If X is an instance of Fohn wind, Y is path along which X occurs, X originates at Z, X ends up at W, and Z before W on path Y during X, then W is downhill from to Z |
| (=> (and (instance ?W FohnWind) (eventLocated ?W ?A) (instance ?A GeographicArea) (instance ?M MountainRange)) (orientation ?A ?M Downwind)) |
Weather.kif 2187-2193 | If X is an instance of Fohn wind, X is located at Y, Y is an instance of geographic area, and Z is an instance of mountain range, then Y is downwind from to Z |
| (=> (instance ?W FohnWind) (property ?W Dry)) |
Weather.kif 2195-2197 | If X is an instance of Fohn wind, then X the attribute dry |
|