Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Blizzard(blizzard)
|  | blizzard, snowstorm |
| appearance as argument number 1 |
|
|
| (documentation Blizzard EnglishLanguage "A Blizzard is a Snowing with surfaceWindSpeed of over 35 KnotUnitOfSpeed for a sustained duration of at least 3 HourDuration. The strong Wind results in blowing Snow causing the %Region affected to have visibilityInMeteorology reduced to less than 400 Meter. ") | Weather.kif 3877-3880 | |
| (documentation Blizzard ChineseLanguage " Blizzard 是在地面风速超过35 KnotUnitOfSpeed，伴随 着连续 3 HourDuration 以上的 Snowing，强风把飘 Snow 吹起导致受影响的 %Region 的 visibilityInMeteorology 降至少于 400 Meter。") | Weather.kif 3881-3883 | |
| (subclass Blizzard Storm) | Weather.kif 3884-3884 | Blizzard is a subclass of storm |
| (externalImage Blizzard "http://upload.wikimedia.org/wikipedia/commons/f/ fa/ Blizzard1_-_NOAA.jpg") | pictureList.kif 2115-2115 | Blizzard is a subclass of storm |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?BLIZZARD Blizzard) (exists (?PROCESS) (and (instance ?PROCESS Snowing) (subProcess ?PROCESS ?BLIZZARD)))) |
Weather.kif 3887-3892 | If X is an instance of blizzard, then there exists Y such that Y is an instance of snowing and Y is a subprocess of X |
| (=> (instance ?PROCESS Blizzard) (holdsDuring (WhenFn ?PROCESS) (exists (?AREA ?GALE ?DURATION) (and (instance ?AREA GeographicArea) (eventLocated ?PROCESS ?AREA) (surfaceWindSpeed ?AREA (MeasureFn ?GALE KnotUnitOfSpeed)) (greaterThan ?GALE 35.0) (duration (WhenFn ?PROCESS) (MeasureFn ?DURATION HourDuration)) (greaterThan ?DURATION 3))))) |
Weather.kif 3894-3907 | If X is an instance of blizzard, then there exist Y, Z and W such that Y is an instance of geographic area and X is located at Y and Z knot unit of speed(s) is a surface wind speed of Y and Z is greater than 35.0 and duration of the time of existence of X is W hour duration(s) and W is greater than 3 holds during the time of existence of X |
| (=> (instance ?PROCESS Blizzard) (exists (?AREA ?DIST) (and (instance ?AREA GeographicArea) (eventLocated ?PROCESS ?AREA) (visibilityInMeteorology ?AREA (WhenFn ?PROCESS) (MeasureFn ?DIST Meter)) (lessThan ?DIST 400.0)))) |
Weather.kif 3909-3918 | If X is an instance of blizzard, then there exist Y and Z such that Y is an instance of geographic area and X is located at Y and the visibility at Y during the time of existence of X is Z meter(s) and Z is less than 400.0 |
|