| WindFlow | |
| appearance as argument number 1 |
|
|
| (documentation WindFlow EnglishLanguage "WindFlow is the class of variable AirStreams that are in the EarthsAtmosphere. It is also known as air currents which are concentrated areas of winds.") | Weather.kif 84-86 | |
| (subclass WindFlow AirStream) | Weather.kif 82-82 | WindFlow ist eine teilkategorie von AirStream |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage WindFlow "大气气流") | Weather.kif 88-88 | |
| (termFormat EnglishLanguage WindFlow "wind flow") | Weather.kif 87-87 |
| antecedent |
|
|
| (=> (and (instance ?ZEPHYR WindFlow) (instance ?PLACE Object) (partlyLocated ?ZEPHYR ?PLACE) (elevation ?ZEPHYR (MeasureFn ?X FootLength)) (lessThanOrEqualTo ?X 500.0) (measure ?ZEPHYR (SpeedFn ?DIST ?TIME))) (surfaceWindSpeed ?PLACE (SpeedFn ?DIST ?TIME))) |
Weather.kif 136-145 |
|
| (=> (and (instance ?ZEPHYR WindFlow) (instance ?PLACE Object) (partlyLocated ?ZEPHYR ?PLACE) (measure ?ZEPHYR (MeasureFn ?SPEED KnotUnitOfSpeed))) (surfaceWindSpeed ?PLACE (MeasureFn ?SPEED KnotUnitOfSpeed))) |
Weather.kif 147-153 |
|
| (=> (and (instance ?ZEPHYR WindFlow) (measure ?ZEPHYR (VelocityFn ?DIST ?TIME ?PLACE ?DIR-TOWARD)) (oppositeDirection ?DIR-TOWARD ?DIR-FROM)) (surfaceWindDirection ?PLACE ?DIR-FROM)) |
Weather.kif 182-187 |
|
| (=> (and (surfaceWindVelocity ?PLACE (SpeedFn ?DIST ?TIME) ?DIRECTION) (instance ?PLACE WindFlow)) (exists (?BLOW) (and (instance ?BLOW Wind) (eventPartlyLocated ?BLOW ?PLACE) (measure ?BLOW (VelocityFn ?DIST ?TIME ?PLACE ?DIRECTION))))) |
Weather.kif 115-123 |
|
| (=> (instance ?BLOW WindFlow) (located ?BLOW EarthsAtmosphere)) |
Weather.kif 90-92 |
|
| (=> (instance ?R WindFlow) (exists (?WIND) (and (instance ?WIND Wind) (eventLocated ?WIND ?R)))) |
Weather.kif 94-99 |
|
| consequent |
|
|
| (=> (instance ?WS WeatherSystem) (exists (?MOVE ?WF) (and (instance ?MOVE Translocation) (instance ?WF WindFlow) (patient ?MOVE ?WF) (subProcess ?MOVE ?WS)))) |
Weather.kif 511-518 |
|
|
|
|