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