DustStorm - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - DustStorm

DustStorm(dust storm)

dust_storm, duster, sandstorm, sirocco

appearance as argument number 1

(documentation DustStorm ChineseLanguage "DustStorm 出现在 AridClimateZone 或 SemiaridClimateZone。它发生在当强 Wind 捲起 ParticulateMatter 或从它吹过 Dry 地面的 Sand ，并送到另外一个 Region。")	Weather.kif 1973-1975
(documentation DustStorm EnglishLanguage "DustStorms happen in AridClimateZones or SemiaridClimateZones. They occur when a strong Wind carries ParticulateMatter or Sand from its underlying Dry surface and deposit it to another Region.")	Weather.kif 1970-1972
(externalImage DustStorm "http://articulatesoftware.com/SUMOpictures/weather/ pictures/ dust_storm.png")	pictureList.kif 402-402
(subclass DustStorm Storm)	Weather.kif 1969-1969	Dust storm is a subclass of storm

appearance as argument number 2

(subclass Haboob DustStorm)	Weather.kif 2026-2026	Haboob is a subclass of dust storm
(subclass SandStorm DustStorm)	Weather.kif 2014-2014	Sand storm is a subclass of dust storm
(termFormat ChineseLanguage DustStorm "尘暴")	domainEnglishFormat.kif 20727-20727	Sand storm is a subclass of dust storm
(termFormat ChineseTraditionalLanguage DustStorm "塵暴")	domainEnglishFormat.kif 20726-20726	Sand storm is a subclass of dust storm
(termFormat EnglishLanguage DustStorm "dust storm")	domainEnglishFormat.kif 20725-20725	Sand storm is a subclass of dust storm

antecedent

(=> (and (instance ?DUST DustStorm) (instance ?PLACE GeographicArea) (eventLocated ?DUST ?PLACE)) (holdsDuring (WhenFn ?DUST) (modalAttribute (attribute ?PLACE BadAirQuality) Likely)))	Weather.kif 3324-3332	If a process is an instance of dust storm and an object is an instance of geographic area and the process is located at the object, then the statement Bad air quality is an attribute of the object has the modal force of likely holds during the time of existence of the process
(=> (and (instance ?DUSTSTORM DustStorm) (instance ?WIND Wind) (subProcess ?DUSTSTORM ?WIND)) (exists (?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG) (and (instance ?A1 LandArea) (eventLocated ?WIND ?A1) (surfaceWindSpeed ?A1 (MeasureFn ?STRONG KnotUnitOfSpeed)) (greaterThan ?STRONG 30.0) (instance ?TRANSLOCATE Translocation) (subProcess ?TRANSLOCATE ?DUSTSTORM) (objectTransferred ?TRANSLOCATE ?PM) (objectTransferred ?TRANSLOCATE ?SAND) (instance ?PM ParticulateMatter) (instance ?SAND Sand) (instance ?A2 LandArea) (destination ?TRANSLOCATE ?A2) (not (overlapsSpatially ?A1 ?A2)))))	Weather.kif 1991-2012	If a process is an instance of dust storm and another process is an instance of wind and the process is a subprocess of the other process, then there exist a transfer, an object,, , another object,, , a third object,, , a fourth object and a real number such that the third object is an instance of land area and the other process is located at the third object and the real number knot unit of speed(s) is a surface wind speed of the third object and the real number is greater than 30.0 and the transfer is an instance of translocation and the transfer is a subprocess of the process and the object transferred in the transfer is the object and the object transferred in the transfer is the other object and the object is an instance of PM and the other object is an instance of sand and the fourth object is an instance of land area and the transfer ends up at the fourth object and the third object and the fourth object doesn't overlapsSpatially
(=> (instance ?DUSTSTORM DustStorm) (or (exists (?AREA1) (and (instance ?AREA1 GeographicArea) (climateTypeInArea ?AREA1 AridClimateZone) (eventLocated ?DUSTSTORM ?AREA1))) (exists (?AREA2) (and (instance ?AREA2 GeographicArea) (climateTypeInArea ?AREA2 SemiaridClimateZone) (eventLocated ?DUSTSTORM ?AREA2)))))	Weather.kif 1977-1989	If a process is an instance of dust storm, then there exists a geographic area such that the geographic area is an instance of geographic area and arid climate zone is a climate type in area of the geographic area and the process is located at the geographic area or there exists another geographic area such that the other geographic area is an instance of geographic area and semiarid climate zone is a climate type in area of the other geographic area and the process is located at the other geographic area

consequent

(=> (instance ?W HarmattanWind) (modalAttribute (exists (?D) (and (instance ?D DustStorm) (causes ?W ?D))) Possibility))	Weather.kif 1565-1571	If an entity is an instance of harmattan wind, then the statement there exists another entity such that the other entity is an instance of dust storm and the entity causes the other entity has the modal force of possibility
(=> (instance ?W Khamsin) (modalAttribute (exists (?D) (and (instance ?D DustStorm) (causes ?W ?D))) Possibility))	Weather.kif 1627-1633	If an entity is an instance of khamsin, then the statement there exists another entity such that the other entity is an instance of dust storm and the entity causes the other entity has the modal force of possibility

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