TreeView Knowledge Base Browser

appearance as argument number 1

(subclass StrongGust WindGust)	Weather.kif 2370-2370	Strong gust is a subclass of wind gust
(documentation StrongGust EnglishLanguage "StrongGust is used when the the maximum speed exceeds the average speed by 15 to 25 knots (28 to 46 km/ h; 17 to 29 mph).[Wikipedia]")	Weather.kif 2371-2372	Strong gust is a subclass of wind gust

appearance as argument number 2

(termFormat EnglishLanguage StrongGust "strong gust")

antecedent

(=>
    (and
        (instance ?G StrongGust)
        (eventLocated ?G ?R)
        (instance ?R GeographicArea)
        (equal
            (ThreeSecondGustSpeedFn ?R
                (WhenFn ?G))
            (MeasureFn ?TOP MilesPerHour))
        (earlier ?T
            (WhenFn ?G))
        (holdsDuring ?T
            (surfaceWindSpeed ?R
                (MeasureFn ?BASE MilesPerHour)))
        (equal ?DIFF
            (SubtractionFn ?TOP ?BASE)))
    (and
        (greaterThan ?DIFF 17)
        (lessThanOrEqualTo ?DIFF 29)))

If All of the following hold: (1) X is an instance of strong gust (2) X is located at Y (3) Y is an instance of geographic area (4) equal ThreeSecondSpeedGustFn ending at the time of existence of X in Y and Z miles per hour(s) (5) W happens earlier than the time of existence of X (6) V miles per hour(s) is a surface wind speed of Y holds during W (7) equal U and (Z and V), then U is greater than 17 and U is less than or equal to 29