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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CyclonicStorm
CyclonicStorm(cyclonic storm)
cyclone

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


s__documentation(s__CyclonicStorm,s__ChineseLanguage,'"CyclonicStorm 气旋风暴属于一类 低气压气象系统 LowPressureWeatherSystem, 它涉及风向由快速向内旋转的 一处低气压区。"')

Weather.kif 556-558
s__documentation(s__CyclonicStorm,s__EnglishLanguage,'"CyclonicStorm is the class of LowPressureWeatherSystems that involve a low pressure area surrounded by winds rotating rapidly inwards."')

Weather.kif 553-555
s__externalImage(s__CyclonicStorm,'"http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 1e/ Polar_low.jpg/ 180px-Polar_low.jpg"')

pictureList.kif 1083-1083
s__instance(s__LowPressureWeatherSystem,s__Class)

s__instance(s__CyclonicStorm,s__Class)

s__subclass(s__CyclonicStorm,s__LowPressureWeatherSystem)

Weather.kif 551-551 Cyclonic storm is a subclass of low pressure weather system
s__instance(s__CyclonicStorm,s__Class)

s__subclass(s__CyclonicStorm,s__Storm)

s__instance(s__Storm,s__Class)

Weather.kif 552-552 Cyclonic storm is a subclass of storm

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


s__naturalHazardTypeInArea(s__SouthernOcean,s__CyclonicStorm)

Geography.kif 4480-4480 Cyclonic storm is a natural hazard type in area of southern ocean
s__instance(s__CyclonicStorm,s__Class)

s__instance(s__Tornado,s__Class)

s__subclass(s__Tornado,s__CyclonicStorm)

Weather.kif 1648-1648 Tornado is a subclass of cyclonic storm
s__instance(s__CyclonicStorm,s__Class)

s__instance(s__TropicalCyclonicSystem,s__Class)

s__subclass(s__TropicalCyclonicSystem,s__CyclonicStorm)

Weather.kif 605-605 Tropical cyclonic system is a subclass of cyclonic storm
s__termFormat(s__ChineseLanguage,s__CyclonicStorm,'"气旋风暴"')

domainEnglishFormat.kif 18267-18267
s__termFormat(s__ChineseTraditionalLanguage,s__CyclonicStorm,'"氣旋風暴"')

domainEnglishFormat.kif 18266-18266
s__termFormat(s__EnglishLanguage,s__CyclonicStorm,'"cyclonic storm"')

domainEnglishFormat.kif 18265-18265

appearance as argument number 3
-------------------------


s__domain(s__radiusOfMaximumWind__m,n__1,s__CyclonicStorm)

Weather.kif 600-600 The number 1 argument of radius of maximum wind is an instance of cyclonic storm

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


( ! [V__AS,V__CS] :
   (((s__instance(V__CS,s__CyclonicStorm) &
         s__instance(V__AS,s__AirStream) &
         s__eventLocated(V__CS,V__AS))
     =>
     (s__attribute(V__AS,s__Cylinder)))
   )
)

Weather.kif 572-577
( ! [V__TRAN,V__T,V__CS] :
   (((s__instance(V__TRAN,s__Process) &
         s__instance(V__T,s__Process))
       =>
       ((s__instance(V__CS,s__CyclonicStorm) =>
           (( ? [V__R, V__A] :
               ((s__instance(V__R,s__Rotating) &
                   s__instance(V__A,s__Air) &
                   s__instance(V__TRAN,s__Translocation) &
                   s__subProcess(V__R,V__T)
                 &
                 s__subProcess(V__TRAN,V__R)
               &
               s__patient(V__TRAN,V__A)
             &
             s__direction(V__TRAN,s__Horizontal))))))))
)
)

Weather.kif 560-570


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