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
-------------------------


s__documentation(s__DustStorm,s__ChineseLanguage,'"DustStorm 出现在 AridClimateZoneSemiaridClimateZone。它发生在当强 Wind 捲起 ParticulateMatter 或从它吹过 Dry 地面的 Sand ,并送到另外一个 Region。"')

Weather.kif 1257-1259
s__documentation(s__DustStorm,s__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
s__externalImage(s__DustStorm,'"http://www.adampease.org/Articulate/SUMOpictures/ pictures/ weather/ pictures/ dust_storm.png"')

pictureList.kif 402-402
s__instance(s__DustStorm,s__SetOrClass)

s__subclass(s__DustStorm,s__Storm)

s__instance(s__Storm,s__SetOrClass)

Weather.kif 1253-1253 Dust storm is a subclass of storm

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


s__instance(s__DustStorm,s__SetOrClass)

s__instance(s__Haboob,s__SetOrClass)

s__subclass(s__Haboob,s__DustStorm)

Weather.kif 1308-1308 Haboob is a subclass of dust storm
s__instance(s__DustStorm,s__SetOrClass)

s__instance(s__SandStorm,s__SetOrClass)

s__subclass(s__SandStorm,s__DustStorm)

Weather.kif 1296-1296 Sand storm is a subclass of dust storm
s__termFormat(s__ChineseLanguage,s__DustStorm,'"尘暴"')

domainEnglishFormat.kif 20709-20709
s__termFormat(s__ChineseTraditionalLanguage,s__DustStorm,'"塵暴"')

domainEnglishFormat.kif 20708-20708
s__termFormat(s__EnglishLanguage,s__DustStorm,'"dust storm"')

domainEnglishFormat.kif 20707-20707

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2593-2601
( ! [V__DUSTSTORM,V__WIND] :
   (((s__instance(V__DUSTSTORM,s__DustStorm) &
         s__instance(V__WIND,s__Wind) &
         s__subProcess(V__DUSTSTORM,V__WIND))
     =>
     (( ? [V__TRANSLOCATE, V__PM, V__SAND, V__A1, V__A2, V__STRONG] :
         ((s__instance(V__STRONG,s__RealNumber) &
             (s__instance(V__A1,s__LandArea) &
               s__eventLocated(V__WIND,V__A1)
             &
             s__surfaceWindSpeed(V__A1,s__MeasureFn(V__STRONG,s__KnotUnitOfSpeed))
           &
           s__greaterThan(V__STRONG,n__30)
         &
         s__instance(V__TRANSLOCATE,s__Translocation) &
         s__subProcess(V__TRANSLOCATE,V__DUSTSTORM)
       &
       s__objectTransferred(V__TRANSLOCATE,V__PM)
     &
     s__objectTransferred(V__TRANSLOCATE,V__SAND)
   &
   s__instance(V__PM,s__ParticulateMatter) &
   s__instance(V__SAND,s__Sand) &
   s__instance(V__A2,s__LandArea) &
   s__destination(V__TRANSLOCATE,V__A2)
&
~(s__overlapsSpatially(V__A1,V__A2))))))))
)
)

Weather.kif 1273-1294
( ! [V__DUSTSTORM] :
   ((s__instance(V__DUSTSTORM,s__DustStorm) =>
       ((( ? [V__DRY] :
             ((s__instance(V__DRY,s__AridClimateZone) &
                 s__eventLocated(V__DUSTSTORM,V__DRY))))
         |
         ( ? [V__SEMIDRY] :
           ((s__instance(V__SEMIDRY,s__SemiaridClimateZone) &
               s__eventLocated(V__DUSTSTORM,V__SEMIDRY)))))))
)
)

Weather.kif 1261-1271


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