Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| WindFlow(wind flow) |  | airstream |
| appearance as argument number 1 |
|
|
| (subclass WindFlow AirStream) | Weather.kif 82-82 | Wind flow is a subclass of air stream |
| (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 | Wind flow is a subclass of air stream |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage WindFlow "wind flow") | Weather.kif 87-87 | |
| (termFormat ChineseLanguage WindFlow "大气气流") | Weather.kif 88-88 |
| antecedent |
|
|
| (=> (instance ?BLOW WindFlow) (located ?BLOW EarthsAtmosphere)) |
Weather.kif 90-92 | If X is an instance of wind flow, then X is located at earths atmosphere |
| (=> (instance ?R WindFlow) (exists (?WIND) (and (instance ?WIND Wind) (eventLocated ?WIND ?R)))) |
Weather.kif 94-99 | If X is an instance of wind flow, then there exists Y such that Y is an instance of wind and Y is located at X |
| (=> (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 | If X is surface wind velocity Y per Z for W and X is an instance of wind flow, then there exists V such that V is an instance of wind, V is partly located at X, and the measure of V is Y per Z in X in the direction W |
| (=> (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 | If All of the following hold: (1) X is an instance of wind flow (2) Y is an instance of object (3) X is partly located in Y (4) Z foot length(s) is an elevation of X (5) Z is less than or equal to 500.0 (6) the measure of X is W per V, then W per V is a surface wind speed of Y |
| (=> (and (instance ?ZEPHYR WindFlow) (instance ?PLACE Object) (partlyLocated ?ZEPHYR ?PLACE) (measure ?ZEPHYR (MeasureFn ?SPEED KnotUnitOfSpeed))) (surfaceWindSpeed ?PLACE (MeasureFn ?SPEED KnotUnitOfSpeed))) |
Weather.kif 147-153 | If X is an instance of wind flow, Y is an instance of object, X is partly located in Y, and the measure of X is Z knot unit of speed(s), then Z knot unit of speed(s) is a surface wind speed of Y |
| (=> (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 | If X is an instance of wind flow, the measure of X is Y per Z in W in the direction ?DIR_TOWARD, and ?DIR_FROM is an opposite direction of ?DIR_TOWARD, then ?DIR_FROM is a surface wind direction of W |
| consequent |
|
|
| (=> (instance ?WS WeatherSystem) (exists (?MOVE ?WF) (and (instance ?MOVE Translocation) (instance ?WF WindFlow) (patient ?MOVE ?WF) (subProcess ?MOVE ?WS)))) |
Weather.kif 951-958 | If X is an instance of weather system, then there exist Y, Z such that Y is an instance of translocation, Z is an instance of wind flow, Z is a patient of Y, and Y is a subprocess of X |
|