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


KB Term:  Term intersection
English Word: 

Sigma KEE - ViolentGust
ViolentGust(violent gust)

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


(subclass ViolentGust WindGust) Weather.kif 2393-2393 Violent gust is a subclass of wind gust
(documentation ViolentGust EnglishLanguage "ViolentGust is used when the the maximum speed exceeds the average speed by over 25 knots (46 km/ h; 29 mph).[Wikipedia]") Weather.kif 2394-2395 Violent gust is a subclass of wind gust

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


(termFormat EnglishLanguage ViolentGust "violent gust") Weather.kif 2396-2396

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


(=>
    (and
        (instance ?G ViolentGust)
        (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)))
    (greaterThan ?DIFF 29))
Weather.kif 2398-2412 If All of the following hold: (1) X is an instance of violent 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 29


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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners