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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DustStorm

Sigma KEE - DustStorm
DustStorm(dust storm)
dust_storm, duster, sandstorm, sirocco

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


(documentation DustStorm ChineseLanguage "DustStorm 出现在 AridClimateZoneSemiaridClimateZone。它发生在当强 Wind 捲起 ParticulateMatter 或从它吹过 Dry 地面的 Sand ,并送到另外一个 Region。") Weather.kif 1257-1259
(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 1254-1256
(externalImage DustStorm "http://articulatesoftware.com/SUMOpictures/weather/ pictures/ dust_storm.png") pictureList.kif 402-402
(subclass DustStorm Storm) Weather.kif 1253-1253 Dust storm is a subclass of storm

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


(subclass Haboob DustStorm) Weather.kif 1310-1310 Haboob is a subclass of dust storm
(subclass SandStorm DustStorm) Weather.kif 1298-1298 Sand storm is a subclass of dust storm
(termFormat ChineseLanguage DustStorm "尘暴") domainEnglishFormat.kif 20718-20718
(termFormat ChineseTraditionalLanguage DustStorm "塵暴") domainEnglishFormat.kif 20717-20717
(termFormat EnglishLanguage DustStorm "dust storm") domainEnglishFormat.kif 20716-20716

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


(=>
    (and
        (instance ?DUST DustStorm)
        (instance ?PLACE GeographicArea)
        (eventLocated ?DUST ?PLACE))
    (holdsDuring
        (WhenFn ?DUST)
        (modalAttribute
            (attribute ?PLACE BadAirQuality) Likely)))
Weather.kif 2600-2608
(=>
    (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 1275-1296
(=>
    (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 1261-1273


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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