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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LowPressureWeatherSystem

Sigma KEE - LowPressureWeatherSystem
LowPressureWeatherSystem

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


(documentation LowPressureWeatherSystem EnglishLanguage "LowPressureWeatherSystem is the class of weather systems characterized by low or unstable barometricPressures. Low pressure systems typically introduce unsettled weather, frequently including storms.") Weather.kif 368-371
(externalImage LowPressureWeatherSystem "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ b/ bc/ Low_pressure_system_over_Iceland.jpg/ 350px-Low_pressure_system_over_Iceland.jpg") pictureList.kif 1161-1161
(subclass LowPressureWeatherSystem WeatherSystem) Weather.kif 366-366

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


(subclass CyclonicStorm LowPressureWeatherSystem) Weather.kif 381-381
(termFormat EnglishLanguage LowPressureWeatherSystem "low pressure weather system") domainEnglishFormat.kif 6284-6284

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


(=>
    (and
        (instance ?SYSTEM LowPressureWeatherSystem)
        (eventLocated ?SYSTEM ?AREA))
    (and
        (barometricPressure ?AREA
            (MeasureFn ?AMOUNT InchMercury))
        (lessThan ?AMOUNT 29.5)))
Weather.kif 373-379

consequent
-------------------------


(=>
    (instance ?STORM Storm)
    (holdsDuring
        (WhenFn ?STORM)
        (exists (?LOW ?AREA ?AIR ?RISE)
            (and
                (instance ?LOW LowPressureWeatherSystem)
                (instance ?AREA Region)
                (eventLocated ?LOW ?AREA)
                (instance ?AIR Air)
                (instance ?RISE MotionUpward)
                (patient ?RISE ?AIR)
                (eventLocated ?RISE ?AREA)
                (subProcess ?RISE ?LOW)))))
Weather.kif 1346-1359


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners