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



KB Term:  Term intersection
English Word: 

Sigma KEE - TropicalDepression
TropicalDepression(tropical depression)

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


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

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


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

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 1085-1095 If X is an instance of tropical depression, then there exist Y and Z such that Y is an instance of geographic area and X is located at Y and equal Z miles per hour(s) and Mean1MinuteWindSpeedFn for the time of existence of X in region Y and Z is less than or equal to 38.0


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners