KatabaticWind - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - KatabaticWind

KatabaticWind(katabatic wind)

appearance as argument number 1

(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 2506-2512
(relatedInternalConcept KatabaticWind FohnWind)	Weather.kif 2514-2514	Katabatic wind is internally related to Fohn wind
(subclass KatabaticWind Wind)	Weather.kif 2505-2505	Katabatic wind is a subclass of wind

appearance as argument number 2

(relatedInternalConcept AnabaticWind KatabaticWind)	Weather.kif 2561-2561	Anabatic wind is internally related to katabatic wind
(subclass MountainBreeze KatabaticWind)	Weather.kif 2572-2572	Mountain breeze is a subclass of katabatic wind
(subclass SantaAnaWinds KatabaticWind)	Weather.kif 2620-2620	Santa Ana winds is a subclass of katabatic wind
(termFormat EnglishLanguage KatabaticWind "katabatic wind")	Weather.kif 2513-2513	Santa Ana winds is a subclass of katabatic wind

antecedent

(=> (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 2525-2539	If a process is an instance of katabatic wind and the process originates at a self connected object and the top of another self connected object is the self connected object and the other self connected object is an instance of sloped area and a real number inch mercury(s) is a barometric pressure of the self connected object and the process ends up at an object and the bottom of the other self connected object is a third self connected object and another real number inch mercury(s) is a barometric pressure of the object, then the real number is greater than the other real number holds during the time of existence of the process
(=> (and (instance ?W KatabaticWind) (path ?W ?P) (origin ?W ?H) (destination ?W ?L) (beforeOnPath ?H ?L ?P ?W)) (orientation ?L ?H Downhill))	Weather.kif 2516-2523	If a transfer is an instance of katabatic wind and an object is path along which the transfer occurs and the transfer originates at another object and the transfer ends up at a third object and the other object before the third object on path the object during the transfer, then the third object is downhill to the other object
(=> (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 2541-2551	If a process is an instance of katabatic wind, then there exist a self connected object, another self connected object,, , another process and the other self connected objectIR such that the process originates at the self connected object and the top of the other self connected object is the self connected object and the other self connected object is an instance of sloped area and the other process is an instance of motion downward and the other self connected objectIR is a patient of the other process and the other self connected objectIR is above to the self connected object and the other process causes the process

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 is open source software produced by Articulate Software and its partners