![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |