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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TropicalDepression
TropicalDepression

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


(documentation TropicalDepression ChineseLanguage "热带低气压(TropicalDepression) 是等级形态最弱的热带氣旋系统(TropicalCyclonicSystem), 根据美國的國家颶風中心(NHC)、 夏威夷州的中太平洋颶風中心(CPHC)和聯合颱風警報中心的标准,它的一分钟平均风速可达 每小时38英里(MilesPerHour )。") Weather.kif 653-656
(documentation TropicalDepression EnglishLanguage "A TropicalDepression is the weakest form of TropicalCyclonicSystem. It has 1-minute sustained winds of upto 38 MilesPerHour according to the National Hurrican Center(NHC),Joint Typhoon Warning Center (JTWC) and the Central Pacific Hurricane Center (CPHC).") Weather.kif 649-652
(subclass TropicalDepression TropicalCyclonicSystem) Weather.kif 648-648

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


(termFormat ChineseLanguage TropicalDepression "热带低气压") Weather.kif 658-658
(termFormat EnglishLanguage TropicalDepression "tropical depression") Weather.kif 657-657

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


(=>
    (instance ?TD TropicalDepression)
    (exists (?PLACE ?WIND)
        (and
            (instance ?PLACE GeographicArea)
            (eventLocated ?TD ?PLACE)
            (equal
                (MeasureFn ?WIND MilesPerHour)
                (Mean1MinuteWindSpeedFn ?PLACE
                    (WhenFn ?TD)))
            (lessThanOrEqualTo ?WIND 38.0))))
Weather.kif 660-670


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