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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TropicalDepression
TropicalDepression(tropical depression)

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


(documentation TropicalDepression ChineseLanguage "热带低气压(TropicalDepression) 是等级形态最弱的热带氣旋系统(TropicalCyclonicSystem), 根据美國的國家颶風中心(NHC)、 夏威夷州的中太平洋颶風中心(CPHC)和聯合颱風警報中心的标准,它的一分钟平均风速可达 每小时38英里(MilesPerHour )。") Weather.kif 637-640
(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 633-636
(subclass TropicalDepression TropicalCyclonicSystem) Weather.kif 632-632 Tropical depression is a subclass of tropical cyclonic system

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


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

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


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