Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - AnabaticWind
AnabaticWind(anabatic wind)

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))
Weather.kif 2548-2555 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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners