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 出现在 AridClimateZone 或 SemiaridClimateZone。它发生在当强 Wind 捲起 ParticulateMatter 或从它吹过 Dry 地面的 Sand ，并送到另外一个 Region。") Weather.kif 1241-1243
(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 1238-1240
(externalImage DustStorm "http://articulatesoftware.com/SUMOpictures/weather/ pictures/ dust_storm.png") pictureList.kif 402-402
(subclass DustStorm Storm) Weather.kif 1237-1237 DustStorm est une sous-classe de Storm

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


(subclass Haboob DustStorm) Weather.kif 1294-1294 Haboob est une sous-classe de DustStorm
(subclass SandStorm DustStorm) Weather.kif 1282-1282 SandStorm est une sous-classe de DustStorm
(termFormat ChineseLanguage DustStorm "尘暴") domainEnglishFormat.kif 20733-20733 SandStorm est une sous-classe de DustStorm
(termFormat ChineseTraditionalLanguage DustStorm "塵暴") domainEnglishFormat.kif 20732-20732 SandStorm est une sous-classe de DustStorm
(termFormat EnglishLanguage DustStorm "dust storm") domainEnglishFormat.kif 20731-20731 SandStorm est une sous-classe de DustStorm

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


(=>
    (and
        (instance ?DUST DustStorm)
        (instance ?PLACE GeographicArea)
        (eventLocated ?DUST ?PLACE))
    (holdsDuring
        (WhenFn ?DUST)
        (modalAttribute
            (attribute ?PLACE BadAirQuality) Likely)))		 Weather.kif 2582-2590
(=>
    (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 1259-1280
(=>
    (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 1245-1257


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