| DustStorm
| |
| appearance as argument number 1 |
|
|
| (documentation DustStorm ChineseLanguage "DustStorm 出现在 AridClimateZone 或 SemiaridClimateZone。它发生在当强 Wind 捲起 ParticulateMatter 或从它吹过 Dry 地面的 Sand ，并送到另外一个 Region。") | Weather.kif 1648-1650 | |
| (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 1645-1647 | |
| (externalImage DustStorm "http://articulatesoftware.com/SUMOpictures/weather/ pictures/ dust_storm.png") | pictureList.kif 402-402 | |
| (subclass DustStorm Storm) | Weather.kif 1644-1644 |
| appearance as argument number 2 |
|
|
| (subclass Haboob DustStorm) | Weather.kif 1701-1701 | |
| (subclass SandStorm DustStorm) | Weather.kif 1689-1689 | |
| (termFormat ChineseLanguage DustStorm "尘暴") | domainEnglishFormat.kif 20727-20727 | |
| (termFormat ChineseTraditionalLanguage DustStorm "塵暴") | domainEnglishFormat.kif 20726-20726 | |
| (termFormat EnglishLanguage DustStorm "dust storm") | domainEnglishFormat.kif 20725-20725 |
| antecedent |
|
|
| (=> (and (instance ?DUST DustStorm) (instance ?PLACE GeographicArea) (eventLocated ?DUST ?PLACE)) (holdsDuring (WhenFn ?DUST) (modalAttribute (attribute ?PLACE BadAirQuality) Likely))) |
Weather.kif 2989-2997 | |
| (=> (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 1666-1687 | |
| (=> (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 1652-1664 |
|
|
|