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


KB Term:  Term intersection
English Word: 

  WindGust

 Sigma KEE - WindGust
WindGust(wind gust)

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


(subclass WindGust Wind) Weather.kif 2293-2293 Wind gust is a subclass of wind
(documentation WindGust EnglishLanguage "A WindGust is a sudden increase in the wind speed. It usually lasts for less than 20 seconds, briefer than a squall, which lasts minutes. A gust is followed by a lull (or slackening) in the wind speed. The average value of wind speed is generally measured over a period of 2 minutes before the meteorological observation according to the World Meteorological Organization. It is generally reported in METAR when the peak wind speed reaches at least 16 knots (30 km/ h; 18 mph) and the variation in wind speed between the peaks and average wind is at least 9 to 10 knots (17 to 19 km/ h; 10 to 12 mph).[Wikipedia]") Weather.kif 2294-2301 Wind gust is a subclass of wind

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


(termFormat EnglishLanguage WindGust "wind gust") Weather.kif 2302-2302
(subclass WeakGust WindGust) Weather.kif 2347-2347 Weak gust is a subclass of wind gust
(subclass StrongGust WindGust) Weather.kif 2370-2370 Strong gust is a subclass of wind gust
(subclass ViolentGust WindGust) Weather.kif 2393-2393 Violent gust is a subclass of wind gust

antecedent
-------------------------


(=>
    (and
        (instance ?G WindGust)
        (eventLocated ?G ?R)
        (instance ?R GeographicArea)
        (duration
            (WhenFn ?G)
            (MeasureFn ?DUR SecondDuration)))
    (greaterThanOrEqualTo ?DUR 20))		 Weather.kif 2304-2311 If X is an instance of wind gust, X is located at Y, Y is an instance of geographic area, and duration of the time of existence of X is Z second duration(s), then Z is greater than or equal to 20
(=>
    (and
        (instance ?G WindGust)
        (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
        (greaterThanOrEqualTo ?TOP 18)
        (greaterThanOrEqualTo ?DIFF 10)))		 Weather.kif 2313-2329 If All of the following hold: (1) X is an instance of wind 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 Z is greater than or equal to 18 and U is greater than or equal to 10
(=>
    (and
        (instance ?G WindGust)
        (eventLocated ?G ?R)
        (instance ?R GeographicArea)
        (equal
            (ThreeSecondGustSpeedFn ?R
                (WhenFn ?G))
            (MeasureFn ?TOP MilesPerHour))
        (earlier
            (WhenFn ?G) ?T)
        (holdsDuring ?T
            (surfaceWindSpeed ?R
                (MeasureFn ?BASE MilesPerHour)))
        (equal ?DIFF
            (SubtractionFn ?TOP ?BASE)))
    (greaterThanOrEqualTo ?DIFF 10))		 Weather.kif 2331-2345 If All of the following hold: (1) X is an instance of wind 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) the time of existence of X happens earlier than W (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 or equal to 10


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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