Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
DustStorm(dust storm)
|  | dust_storm, duster, sandstorm, sirocco |
| appearance as argument number 1 |
|
|
| (subclass DustStorm Storm) | Weather.kif 2414-2414 | Dust storm is a subclass of storm |
| (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 2415-2417 | Dust storm is a subclass of storm |
| (documentation DustStorm ChineseLanguage "DustStorm 出现在 AridClimateZone 或 SemiaridClimateZone。它发生在当强 Wind 捲起 ParticulateMatter 或从它吹过 Dry 地面的 Sand ，并送到另外一个 Region。") | Weather.kif 2418-2420 | Dust storm is a subclass of storm |
| (externalImage DustStorm "http://articulatesoftware.com/SUMOpictures/weather/ pictures/ dust_storm.png") | pictureList.kif 402-402 | Dust storm is a subclass of storm |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 2422-2434 | If X is an instance of dust storm, then there exists Y such that Y is an instance of geographic area, arid climate zone is a climate type in area of Y, and X is located at Y or there exists Z such that Z is an instance of geographic area, semiarid climate zone is a climate type in area of Z, and X is located at Z |
| (=> (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 2436-2457 | If X is an instance of dust storm, Y is an instance of wind, and X is a subprocess of Y, then there exist Z, W,, , V,, , U,, , T and S such that U is an instance of land area and Y is located at U and S knot unit of speed(s) is a surface wind speed of U and S is greater than 30.0 and Z is an instance of translocation and Z is a subprocess of X and the object transferred in Z is W and the object transferred in Z is V and W is an instance of PM and V is an instance of sand and T is an instance of land area and Z ends up at T and U and T doesn't overlapsSpatially |
| (=> (and (instance ?DUST DustStorm) (instance ?PLACE GeographicArea) (eventLocated ?DUST ?PLACE)) (holdsDuring (WhenFn ?DUST) (modalAttribute (attribute ?PLACE BadAirQuality) Likely))) |
Weather.kif 3867-3875 | If X is an instance of dust storm, Y is an instance of geographic area, and X is located at Y, then the statement Bad air quality is an attribute of Y has the modal force of likely holds during the time of existence of X |
| consequent |
|
|
| (=> (instance ?W HarmattanWind) (modalAttribute (exists (?D) (and (instance ?D DustStorm) (causes ?W ?D))) Possibility)) |
Weather.kif 2009-2015 | If X is an instance of harmattan wind, then the statement there exists Y such that Y is an instance of dust storm and X causes Y has the modal force of possibility |
| (=> (instance ?W Khamsin) (modalAttribute (exists (?D) (and (instance ?D DustStorm) (causes ?W ?D))) Possibility)) |
Weather.kif 2072-2078 | If X is an instance of khamsin, then the statement there exists Y such that Y is an instance of dust storm and X causes Y has the modal force of possibility |
|