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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CyclonicStorm

Sigma KEE - CyclonicStorm
CyclonicStorm(气旋风暴)

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


(documentation CyclonicStorm ChineseLanguage "CyclonicStorm 气旋风暴属于一类 低气压气象系统 LowPressureWeatherSystem, 它涉及风向由快速向内旋转的 一处低气压区。") Weather.kif 556-558
(documentation CyclonicStorm EnglishLanguage "CyclonicStorm is the class of LowPressureWeatherSystems that involve a low pressure area surrounded by winds rotating rapidly inwards.") Weather.kif 553-555
(externalImage CyclonicStorm "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 1e/ Polar_low.jpg/ 180px-Polar_low.jpg") pictureList.kif 1082-1082
(subclass CyclonicStorm LowPressureWeatherSystem) Weather.kif 551-551 气旋风暴低压天气系统subclass
(subclass CyclonicStorm Storm) Weather.kif 552-552 气旋风暴风暴subclass

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


(naturalHazardTypeInArea SouthernOcean CyclonicStorm) Geography.kif 4677-4677 气旋风暴 是区域 南部海洋natural 有害类别
(subclass Tornado CyclonicStorm) Weather.kif 1649-1649 龙卷风气旋风暴subclass
(subclass TropicalCyclonicSystem CyclonicStorm) Weather.kif 605-605 热带氣旋系统气旋风暴subclass
(termFormat ChineseLanguage CyclonicStorm "气旋风暴") domainEnglishFormat.kif 18276-18276
(termFormat ChineseTraditionalLanguage CyclonicStorm "氣旋風暴") domainEnglishFormat.kif 18275-18275
(termFormat EnglishLanguage CyclonicStorm "cyclonic storm") domainEnglishFormat.kif 18274-18274

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


(domain radiusOfMaximumWind 1 CyclonicStorm) Weather.kif 600-600 最大风速半径 的 1 数量 是 气旋风暴instance

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


(=>
    (and
        (instance ?CS CyclonicStorm)
        (instance ?AS AirStream)
        (eventLocated ?CS ?AS))
    (attribute ?AS Cylinder))
Weather.kif 572-577
(=>
    (instance ?CS CyclonicStorm)
    (exists (?R ?A ?TRAN ?T)
        (and
            (instance ?R Rotating)
            (instance ?A Air)
            (instance ?TRAN Translocation)
            (subProcess ?R ?T)
            (subProcess ?TRAN ?R)
            (patient ?TRAN ?A)
            (direction ?TRAN Horizontal))))
Weather.kif 560-570


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