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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 " 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


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


    (instance ?STORM Storm)
        (WhenFn ?STORM)
        (exists (?LOW ?AREA ?AIR ?RISE)
                (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