Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   KatabaticWind
|
|
|
| appearance as argument number 1 |
|
|
| (subclass KatabaticWind Wind) | Weather.kif 2490-2490 | Katabatic wind is a subclass of wind |
| (documentation KatabaticWind EnglishLanguage "KatabaticWind is a downslope wind caused by the flow of an elevated, high-density air mass into a lower-density air mass below under the force of gravity. A katabatic wind originates from the difference of density of two air masses located above a slope. This density difference usually comes from temperature difference, even if humidity may also play a role. Schematically katabatic winds can be divided into two types for which the mechanisms are slightly different: the katabatic winds due to radiative cooling (the most common) and the fall winds.[Wikipedia]") | Weather.kif 2491-2497 | Katabatic wind is a subclass of wind |
| (relatedInternalConcept KatabaticWind FohnWind) | Weather.kif 2499-2499 | Katabatic wind is internally related to Fohn wind |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?W KatabaticWind) (path ?W ?P) (origin ?W ?H) (destination ?W ?L) (beforeOnPath ?H ?L ?P ?W)) (orientation ?L ?H Downhill)) |
Weather.kif 2501-2508 | If X is an instance of katabatic 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 KatabaticWind) (origin ?W ?TOP) (top ?TOP ?A) (instance ?A SlopedArea) (barometricPressure ?TOP (MeasureFn ?H InchMercury)) (destination ?W ?BOTTOM) (bottom ?BOTTIM ?A) (barometricPressure ?BOTTOM (MeasureFn ?L InchMercury))) (holdsDuring (WhenFn ?W) (greaterThan ?H ?L))) |
Weather.kif 2510-2524 | If All of the following hold: (1) X is an instance of katabatic wind (2) X originates at Y (3) the top of Z is Y (4) Z is an instance of sloped area (5) W inch mercury(s) is a barometric pressure of Y (6) X ends up at V (7) the bottom of Z is U (8) T inch mercury(s) is a barometric pressure of V, then W is greater than T holds during the time of existence of X |
| (=> (instance ?W KatabaticWind) (exists (?TOP ?A ?M ?AIR) (and (origin ?W ?TOP) (top ?TOP ?A) (instance ?A SlopedArea) (instance ?M MotionDownward) (patient ?M ?AIR) (orientation ?AIR ?TOP Above) (causes ?M ?W)))) |
Weather.kif 2526-2536 | If X is an instance of katabatic wind, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that X originates at Y (3) the top of Z is Y (4) Z is an instance of sloped area (5) W is an instance of motion downward (6) V is a patient of W (7) V is above to Y (8) W causes X |
|