ValleyBreeze - Sigma Knowledge base Browser

appearance as argument number 1

(subclass ValleyBreeze AnabaticWind)	Weather.kif 2582-2582	Valley breeze is a subclass of anabatic wind
(documentation ValleyBreeze EnglishLanguage "ValleyBreeze is an example of AnabaticWind occuring at local scales. In meteorology, a mountain breeze and a valley breeze are two related, localized winds that occur one after the other on a daily cycle. During the day, the sun warms the air along the mountain slopes. This warm air rises up the mountain slopes, creating a valley breeze. At nightfall, the air along the mountain slopes cools. This cool air moves down the slopes into the valley, producing a mountain breeze.[Wikipedia]")	Weather.kif 2583-2588	Valley breeze is a subclass of anabatic wind

appearance as argument number 2

(relatedInternalConcept MountainBreeze ValleyBreeze)	Weather.kif 2566-2566	Mountain breeze is internally related to valley breeze
(termFormat EnglishLanguage ValleyBreeze "valley breeze")	Weather.kif 2589-2589	Mountain breeze is internally related to valley breeze

antecedent

(=>
    (instance ?W ValleyBreeze)
    (exists (?BOTTOM ?A ?H ?AIR ?M)
        (and
            (origin ?W ?BOTTOM)
            (bottom ?BOTTOM ?A)
            (instance ?A SlopedArea)
            (instance ?H Heating)
            (patient ?H ?AIR)
            (orientation ?AIR ?BOTTOM Above)
            (causes ?H ?M)
            (instance ?M MotionUpward)
            (subProcess ?M ?W))))

If X is an instance of valley breeze, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that X originates at Y (3) the bottom of Z is Y (4) Z is an instance of sloped area (5) W is an instance of heating (6) V is a patient of W (7) V is above to Y (8) W causes U (9) U is an instance of motion upward (10) U is a subprocess of X