LowPressureWeatherSystem - Sigma Knowledge base Browser

appearance as argument number 1

(documentation LowPressureWeatherSystem ChineseLanguage "LowPressureWeatherSystem 低气压天气系统是一类天气系统 WeatherSystem，它的特点是大气气压 barometricPressures 处于 29.5 寸水銀柱 Inchmercury (998.98mbar)或更低数值。低气压系统一般带来不稳定的天气，如常伴随有风暴。")	Weather.kif 525-527
(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 520-523
(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 1160-1160
(partition LowPressureWeatherSystem HighPressureWeatherSystem)	Weather.kif 529-529	Low pressure weather system is exhaustively partitioned into high pressure weather system
(subclass LowPressureWeatherSystem WeatherSystem)	Weather.kif 528-528	Low pressure weather system is a subclass of weather system

appearance as argument number 2

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

antecedent

(=>
    (and
        (instance ?SYSTEM LowPressureWeatherSystem)
        (instance ?AREA Region)
        (eventLocated ?SYSTEM ?AREA))
    (and
        (barometricPressure ?AREA
            (MeasureFn ?AMOUNT InchMercury))
        (lessThan ?AMOUNT 29.5)))

Weather.kif 531-538

If a process is an instance of low pressure weather system and an object is an instance of region and the process is located at the object,
then a real number inch mercury(s) is a barometric pressure of the object and the real number is less than 29.5

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 2899-2912

If a physical is an instance of storm,
then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of low pressure weather system and the other entity is an instance of region and the entity is located at the other entity and the third entity is an instance of air and the fourth entity is an instance of motion upward and the third entity is a patient of the fourth entity and the fourth entity is located at the other entity and the fourth entity is a subprocess of the entity holds during the time of existence of the physical

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

KB Term:			Term intersection

English Word: