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


KB Term:  Term intersection
English Word: 

  SantaAnaWinds

 Sigma KEE - SantaAnaWinds
SantaAnaWinds(Santa Ana winds)

appearance as argument number 1
-------------------------


(subclass SantaAnaWinds KatabaticWind) Weather.kif 2605-2605 Santa Ana winds is a subclass of katabatic wind
(documentation SantaAnaWinds EnglishLanguage "SantaAnaWinds are strong, extremely dry KatabaticWind winds that originate from cool, dry high-pressure air masses in the GreatBasin. They arise in higher altitudes and blowing down towards sea level. The National Weather Service defines Santa Ana winds as a weather condition in southern California in which strong, hot, dust-bearing winds descend to the Pacific Coast around Los Angeles from inland desert regions. [Wikipedia]") Weather.kif 2606-2611 Santa Ana winds is a subclass of katabatic wind

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage SantaAnaWinds "Santa Ana winds") Weather.kif 2612-2612

antecedent
-------------------------


(=>
    (instance ?W SantaAnaWinds)
    (attribute ?W Dry))		 Weather.kif 2614-2616 If X is an instance of Santa Ana winds, then dry is an attribute of X
(=>
    (and
        (instance ?W SantaAnaWinds)
        (eventLocated ?W ?R)
        (instance ?R GeographicArea)
        (surfaceWindSpeed ?R
            (MeasureFn ?X MilesPerHour)))
    (greaterThan ?X 25))		 Weather.kif 2618-2625 If X is an instance of Santa Ana winds, X is located at Y, Y is an instance of geographic area, and Z miles per hour(s) is a surface wind speed of Y, then Z is greater than 25
(=>
    (instance ?W SantaAnaWinds)
    (exists (?H ?D ?A)
        (and
            (instance ?H HighPressureWeatherSystem)
            (eventLocated ?H GreatBasin)
            (causes ?H ?W)
            (path ?W ?D)
            (instance ?D Desert)
            (destination ?W ?A)
            (instance ?A SouthernCalifornia))))		 Weather.kif 2627-2637 If X is an instance of Santa Ana winds, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of high pressure weather system (3) Y is located at Great Basin (4) Y causes X (5) Z is path along which X occurs (6) Z is an instance of desert (7) X ends up at W (8) W is an instance of Southern California


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

Show without tree

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