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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DustStorm
DustStorm

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


(documentation DustStorm ChineseLanguage "DustStorm 出现在 AridClimateZoneSemiaridClimateZone。它发生在当强 Wind 捲起 ParticulateMatter 或从它吹过 Dry 地面的 Sand ,并送到另外一个 Region。") Weather.kif 886-888
(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 882-884
(externalImage DustStorm "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ weather/ pictures/ dust_storm.png") pictureList.kif 402-402
(subclass DustStorm WeatherProcess) Weather.kif 880-880

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


(subclass Haboob DustStorm) Weather.kif 940-940
(subclass Sandstorm DustStorm) Weather.kif 925-925
(termFormat ChineseLanguage DustStorm "尘暴") domainEnglishFormat.kif 20647-20647
(termFormat ChineseLanguage DustStorm "沙尘暴") Weather.kif 881-881
(termFormat ChineseTraditionalLanguage DustStorm "塵暴") domainEnglishFormat.kif 20646-20646
(termFormat EnglishLanguage DustStorm "dust storm") domainEnglishFormat.kif 20645-20645

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


(=>
    (and
        (instance ?DUSTSTORM DustStorm)
        (instance ?WIND Wind)
        (subProcess ?DUSTSTORM ?WIND))
    (exists (?WIND ?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)
        (and
            (instance ?A1 LandArea)
            (eventLocated ?WIND ?A1)
            (surfaceWindSpeed ?A1
                (MeasureFn ?STRONG KnotUnitOfSpeed))
            (greaterThan ?STRONG 30)
            (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 902-923
(=>
    (instance ?DUSTSTORM DustStorm)
    (or
        (exists (?DRY)
            (and
                (instance ?DRY AridClimateZone)
                (eventLocated ?DUSTSTORM ?DRY)))
        (exists (?SEMIDRY)
            (and
                (instance ?SEMIDRY SemiaridClimateZone)
                (eventLocated ?DUSTSTORM ?SEMIDRY)))))
Weather.kif 890-900


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners