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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LowPressureWeatherSystem
LowPressureWeatherSystem(low pressure weather system)

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


(documentation LowPressureWeatherSystem ChineseLanguage "LowPressureWeatherSystem 低气压天气系统是一类天气系统 WeatherSystem,它的特点是大气气压 barometricPressures 处于 29.5 寸水銀柱 Inchmercury (998.98mbar)或更低数值。低气压系统一般带来不稳定的天气, 如常伴随有风暴。") Weather.kif 537-539
(documentation LowPressureWeatherSystem EnglishLanguage "LowPressureWeatherSystem is the class of WeatherSystems characterized by barometricPressures of 29.5 Inchmercury (998.98mbar) or less. Low pressure systems typically introduce unsettled weather, frequently including storms.") Weather.kif 532-535
(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
(partition LowPressureWeatherSystem HighPressureWeatherSystem) Weather.kif 541-541 Low pressure weather system is exhaustively partitioned into high pressure weather system
(subclass LowPressureWeatherSystem WeatherSystem) Weather.kif 540-540 Low pressure weather system is a subclass of weather system

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


(subclass CyclonicStorm LowPressureWeatherSystem) Weather.kif 551-551 Cyclonic storm is a subclass of low pressure weather system
(termFormat ChineseLanguage LowPressureWeatherSystem "低压天气系统") domainEnglishFormat.kif 35185-35185
(termFormat ChineseTraditionalLanguage LowPressureWeatherSystem "低壓天氣系統") domainEnglishFormat.kif 35184-35184
(termFormat EnglishLanguage LowPressureWeatherSystem "low pressure weather system") domainEnglishFormat.kif 35183-35183

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


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

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 2909-2922


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