TropicalStorm - Sigma Knowledge base Browser

appearance as argument number 1

(documentation TropicalStorm ChineseLanguage "热带风暴(TropicalStorm)是一分钟平均风速在每小时39和74英里(MilesPerHour)之间的热带氣旋系统(TropicalCyclonicSystem)。")	Weather.kif 711-712
(documentation TropicalStorm EnglishLanguage "TropicalStorm is a TropicalCyclonicSystem with 1-minute sustained winds ranging between 39 and 72 MilesPerHour.")	Weather.kif 709-710
(subclass TropicalStorm TropicalCyclonicSystem)	Weather.kif 708-708

appearance as argument number 2

(termFormat ChineseLanguage TropicalStorm "热带风暴")	Weather.kif 714-714
(termFormat EnglishLanguage TropicalStorm "tropical storm")	Weather.kif 713-713

antecedent

(=>
    (instance ?TS TropicalStorm)
    (exists (?PLACE ?WIND)
        (and
            (instance ?PLACE GeographicArea)
            (eventLocated ?TS ?PLACE)
            (equal
                (MeasureFn ?WIND MilesPerHour)
                (Mean1MinuteWindSpeedFn ?PLACE
                    (WhenFn ?TS)))
            (greaterThanOrEqualTo ?WIND 39.0)
            (lessThanOrEqualTo ?WIND 74.0))))

Weather.kif 716-727