TreeView Knowledge Base Browser

appearance as argument number 1

(subclass AnabaticWind Wind)	Weather.kif 2538-2538	Anabatic wind is a subclass of wind
(documentation AnabaticWind EnglishLanguage "AnabaticWind is a warm wind which blows up a steep slop or mountain side, driven by heating of slope through insolation. It typically occurs during the daytime in calm sunny weather. A hill or mountain top will be radiatively warmed by the Sun which in turn heats the air just above it. Air at a similar altitude over an adjacent valley or plain does not get warmed so much because of the greater distance to the ground below it.[Wikipedia]")	Weather.kif 2539-2544	Anabatic wind is a subclass of wind
(relatedInternalConcept AnabaticWind KatabaticWind)	Weather.kif 2546-2546	Anabatic wind is internally related to katabatic wind

appearance as argument number 2

(termFormat EnglishLanguage AnabaticWind "anabatic wind")	Weather.kif 2545-2545
(subclass ValleyBreeze AnabaticWind)	Weather.kif 2582-2582	Valley breeze is a subclass of anabatic wind

antecedent

(=>
    (and
        (instance ?W AnabaticWind)
        (path ?W ?P)
        (origin ?W ?L)
        (destination ?W ?H)
        (beforeOnPath ?L ?H ?P ?W))
    (orientation ?H ?L Uphill))

If X is an instance of anabatic 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 uphill from to Z