MountainBreeze - Sigma Knowledge base Browser

appearance as argument number 1

(subclass MountainBreeze KatabaticWind)	Weather.kif 2557-2557	Mountain breeze is a subclass of katabatic wind
(documentation MountainBreeze EnglishLanguage "MountainBreeze is the most common form of katabaticWind due to radiative cooling. The slope surface cools down radiatively after sunset, which cools down the air near the slope. This cooler air layer then flows down in the valley. This type of katabatic is very often observed during the night in the mountains, especially during periods of light synoptic flow. In meteorology, a mountain breeze and a valley breeze are two related, localized winds that occur one after the other on a daily cycle. [Wikipedia]")	Weather.kif 2558-2564	Mountain breeze is a subclass of katabatic wind
(relatedInternalConcept MountainBreeze ValleyBreeze)	Weather.kif 2566-2566	Mountain breeze is internally related to valley breeze

appearance as argument number 2

antecedent

(=>
    (instance ?W MountainBreeze)
    (exists (?TOP ?A ?C ?AIR ?M)
        (and
            (origin ?W ?TOP)
            (top ?TOP ?A)
            (instance ?A SlopedArea)
            (instance ?C Cooling)
            (patient ?C ?AIR)
            (orientation ?AIR ?TOP Above)
            (causes ?C ?M)
            (instance ?M MotionDownward)
            (subProcess ?M ?W))))

If X is an instance of mountain breeze, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U 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 cooling (6) V is a patient of W (7) V is above to Y (8) W causes U (9) U is an instance of motion downward (10) U is a subprocess of X