Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Storm
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Storm EnglishLanguage "Storms occurs in an area where its Atmosphere is dominated by a LowPressureWeatherSystem with Air moving in MotionUpward.Surface Wind of over 30 KnotUnitOfSpeed and or Precipitation are Likely associated with Storms.") | Weather.kif 4150-4153 | |
| (documentation Storm ChineseLanguage "Storm 发生于由 LowPressureWeatherSystem 的 Atmosphere 占领的地区，里面的 Air 的流动方向是 MotionUpward。地面 Wind 速 Likely 高于30 KnotUnitOfSpeed 并或伴有 Precipitation。") | Weather.kif 4154-4156 | |
| (subclass Storm WeatherProcess) | Weather.kif 4157-4157 | Storm is a subclass of weather process |
| appearance as argument number 2 |
|
|
| (subclass CyclonicStorm Storm) | Weather.kif 982-982 | Cyclonic storm is a subclass of storm |
| (subclass Thunderstorm Storm) | Weather.kif 1376-1376 | Thunderstorm is a subclass of storm |
| (subclass Windstorm Storm) | Weather.kif 1921-1921 | Windstorm is a subclass of storm |
| (subclass DustStorm Storm) | Weather.kif 2414-2414 | Dust storm is a subclass of storm |
| (subclass Tornado Storm) | Weather.kif 2957-2957 | Tornado is a subclass of storm |
| (subclass Blizzard Storm) | Weather.kif 3884-3884 | Blizzard is a subclass of storm |
| (termFormat EnglishLanguage Storm "storm") | Weather.kif 4158-4158 | Blizzard is a subclass of storm |
| (termFormat ChineseLanguage Storm "风暴") | Weather.kif 4159-4159 | Blizzard is a subclass of storm |
| (subclass Snowstorm Storm) | Weather.kif 4204-4204 | Snow storm is a subclass of storm |
| antecedent |
|
|
| (=> (instance ?STORM Storm) (holdsDuring (WhenFn ?STORM) (modalAttribute (exists (?P ?AREA) (and (instance ?P Precipitation) (instance ?AREA GeographicArea) (eventLocated ?P ?AREA) (subProcess ?P ?STORM))) Likely))) |
Weather.kif 4161-4171 | If X is an instance of storm, then the statement there exist Y, Z such that Y is an instance of precipitation, Z is an instance of geographic area, Y is located at Z, and Y is a subprocess of X has the modal force of likely holds during the time of existence of X |
| (=> (instance ?STORM Storm) (holdsDuring (WhenFn ?STORM) (exists (?AREA ?STRONG) (and (instance ?AREA GeographicArea) (surfaceWindSpeed ?AREA (MeasureFn ?STRONG KnotUnitOfSpeed)) (greaterThan ?STRONG 30.0))))) |
Weather.kif 4173-4182 | If X is an instance of storm, then there exist Y and Z such that Y is an instance of geographic area and Z knot unit of speed(s) is a surface wind speed of Y and Z is greater than 30.0 holds during the time of existence of X |
| (=> (instance ?STORM Storm) (holdsDuring (WhenFn ?STORM) (exists (?LOW ?AREA ?AIR ?RISE) (and (instance ?LOW LowPressureWeatherSystem) (instance ?AREA Region) (eventLocated ?LOW ?AREA) (instance ?AIR Air) (instance ?RISE MotionUpward) (patient ?RISE ?AIR) (eventLocated ?RISE ?AREA) (subProcess ?RISE ?LOW))))) |
Weather.kif 4184-4197 | If X is an instance of storm, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of low pressure weather system (3) Z is an instance of region (4) Y is located at Z (5) W is an instance of air (6) V is an instance of motion upward (7) W is a patient of V (8) V is located at Z (9) V is a subprocess of Y holds during the time of existence of X |
| consequent |
|
|
| (=> (instance ?W StrongWind) (modalAttribute (exists (?S) (and (instance ?S Storm) (causes ?S ?W))) Likely)) |
Weather.kif 1935-1941 | If X is an instance of strong wind, then the statement there exists Y such that Y is an instance of storm and Y causes X has the modal force of likely |
|