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



KB Term:  Term intersection
English Word: 

Sigma KEE - WeakGust
WeakGust(weak gust)

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


(subclass WeakGust WindGust) Weather.kif 2347-2347 Weak gust is a subclass of wind gust
(documentation WeakGust EnglishLanguage "When the maximum speed exceeds the average speed by 10 to 15 knots (19 to 28 km/ h; 12 to 17 mph), the term WeakGust is used[Wikipedia]") Weather.kif 2348-2349 Weak gust is a subclass of wind gust

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


(termFormat EnglishLanguage WeakGust "weak gust") Weather.kif 2350-2350

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


(=>
    (and
        (instance ?G WeakGust)
        (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 ?DIFF 12)
        (lessThanOrEqualTo ?DIFF 17)))
Weather.kif 2352-2368 If All of the following hold: (1) X is an instance of weak 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 or equal to 12 and U is less than or equal to 17


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