TropicalStorm - Sigma Knowledge base Browser

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))))

If X is an instance of tropical storm, 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 greater than or equal to 39.0 and Z is less than or equal to 74.0

(subclass TropicalStorm TropicalCyclonicSystem)	Weather.kif 1133-1133	Tropical storm is a subclass of tropical cyclonic system
(documentation TropicalStorm EnglishLanguage "TropicalStorm is a TropicalCyclonicSystem with 1-minute sustained winds ranging between 39 and 72 MilesPerHour.")	Weather.kif 1134-1135	Tropical storm is a subclass of tropical cyclonic system
(documentation TropicalStorm ChineseLanguage "热带风暴(TropicalStorm)是一分钟平均风速在每小时39和74英里(MilesPerHour)之间的热带氣旋系统(TropicalCyclonicSystem)。")	Weather.kif 1136-1137	Tropical storm is a subclass of tropical cyclonic system

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