Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Wind(wind)
|  | Santa_Ana, air, air_current, be_adrift, blast, blow, breeze, catabatic_wind, current_of_air, drift, float, foehn, fohn, gale, gentle_wind, gust, high_wind, katabatic_wind, khamsin, prevailing_westerly, south_wind, souther, southerly, waft, west_wind, wester, westerly, whirlwind, wind, zephyr |
| appearance as argument number 1 |
|
|
| (subclass Wind GasMotion) | Merge.kif 11508-11508 | Wind is a subclass of gas motion |
| (subclass Wind WeatherProcess) | Merge.kif 11509-11509 | Wind is a subclass of weather process |
| (documentation Wind EnglishLanguage "Any Motion of Air.") | Merge.kif 11510-11510 | Wind is a subclass of weather process |
| (externalImage Wind "http://articulatesoftware.com/SUMOpictures/weather/ wind.png") | pictureList.kif 839-839 | Wind is a subclass of weather process |
| (externalImage Wind "http://upload.wikimedia.org/wikipedia/commons/c/cd/ Cessna_182_model_wingtip_vortex.jpg") | pictureList.kif 2063-2063 | Wind is a subclass of weather process |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain windDrivenMotion 1 Wind) | Weather.kif 299-299 | The number 1 argument of wind driven motion is an instance of wind |
| antecedent |
|
|
| (=> (instance ?WIND Wind) (exists (?AIR) (and (patient ?WIND ?AIR) (instance ?AIR Air)))) |
Merge.kif 15111-15116 | If X is an instance of wind, then there exists Y such that Y is a patient of X and Y is an instance of air |
| (=> (and (instance ?PLACE Object) (instance ?BLOW Wind) (measure ?BLOW (VelocityFn ?DIST ?TIME ?PLACE ?DIRECTION))) (surfaceWindVelocity ?PLACE (SpeedFn ?DIST ?TIME) ?DIRECTION)) |
Weather.kif 125-130 | If X is an instance of object, Y is an instance of wind, and the measure of Y is Z per W in X in the direction V, then X is surface wind velocity Z per W for V |
| (=> (and (instance ?W Wind) (instance ?BN BeaufortNumberAttribute) (eventLocated ?W ?AREA) (believes ?A (property ?W ?BN)) (speedScaleAttributeMinMax ?BN (MeasureFn ?MIN ?U) (MeasureFn ?MAX ?U)) (instance ?U UnitOfMeasure)) (exists (?SPEED) (and (greaterThanOrEqualTo ?SPEED ?MIN) (lessThanOrEqualTo ?SPEED ?MAX) (believes ?A (surfaceWindSpeed ?AREA (MeasureFn ?SPEED ?U)))))) |
Weather.kif 321-338 | If All of the following hold: (1) X is an instance of wind (2) Y is an instance of Beaufort number attribute (3) X is located at Z (4) W believes X the attribute Y (5) V U(s) and T U(s) are the min and max speed of Y (6) U is an instance of unit of measure, then there exists S such that S is greater than or equal to V and S is less than or equal to T and W believes S U(s) is a surface wind speed of Z |
| (=> (and (instance ?W Wind) (instance ?BN BeaufortNumber12) (eventLocated ?W ?AREA) (believes ?A (property ?W ?BN))) (exists (?SPEED) (and (greaterThan ?SPEED 73.0) (believes ?A (surfaceWindSpeed ?AREA (MeasureFn ?SPEED MilesPerHour)))))) |
Weather.kif 456-468 | If X is an instance of wind, Y is an instance of Beaufort number 12, X is located at Z, and W believes X the attribute Y, then there exists V such that V is greater than 73.0 and W believes V miles per hour(s) is a surface wind speed of Z |
| (=> (and (instance ?DUSTSTORM DustStorm) (instance ?WIND Wind) (subProcess ?DUSTSTORM ?WIND)) (exists (?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG) (and (instance ?A1 LandArea) (eventLocated ?WIND ?A1) (surfaceWindSpeed ?A1 (MeasureFn ?STRONG KnotUnitOfSpeed)) (greaterThan ?STRONG 30.0) (instance ?TRANSLOCATE Translocation) (subProcess ?TRANSLOCATE ?DUSTSTORM) (objectTransferred ?TRANSLOCATE ?PM) (objectTransferred ?TRANSLOCATE ?SAND) (instance ?PM ParticulateMatter) (instance ?SAND Sand) (instance ?A2 LandArea) (destination ?TRANSLOCATE ?A2) (not (overlapsSpatially ?A1 ?A2))))) |
Weather.kif 2436-2457 | If X is an instance of dust storm, Y is an instance of wind, and X is a subprocess of Y, then there exist Z, W,, , V,, , U,, , T and S such that U is an instance of land area and Y is located at U and S knot unit of speed(s) is a surface wind speed of U and S is greater than 30.0 and Z is an instance of translocation and Z is a subprocess of X and the object transferred in Z is W and the object transferred in Z is V and W is an instance of PM and V is an instance of sand and T is an instance of land area and Z ends up at T and U and T doesn't overlapsSpatially |
| consequent |
|
|
| (=> (instance ?F FanDevice) (hasPurpose ?F (exists (?W) (and (instance ?W Wind) (instrument ?W ?F))))) |
Mid-level-ontology.kif 2896-2902 | If X is an instance of fan device, then X has the purpose there exists Y such that Y is an instance of wind and X is an instrument for Y |
| (=> (orientation ?O1 ?O2 Downwind) (exists (?W ?T ?P) (and (instance ?W Wind) (path ?T ?P) (origin ?T ?O2) (beforeOnPath ?O2 ?O1 ?P ?T) (destination ?T ?O1)))) |
Mid-level-ontology.kif 32423-32431 | If X is downwind from to Y, then there exist Z, W, V such that Z is an instance of wind, V is path along which W occurs, W originates at Y, Y before X on path V during W, and W ends up at X |
| (=> (instance ?X WindSurfing) (exists (?BOARD ?WATER ?MOTION ?WIND) (and (instance ?BOARD WindSurfingBoard) (instance ?WATER WaterArea) (instance ?WIND Wind) (instance ?MOTION Motion) (eventLocated ?X ?WATER) (subProcess ?MOTION ?X) (instrument ?MOTION ?BOARD) (causes ?WIND ?MOTION)))) |
Sports.kif 1332-1343 | If X is an instance of wind surfing, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of wind surfing board (3) Z is an instance of water area (4) V is an instance of wind (5) W is an instance of motion (6) X is located at Z (7) W is a subprocess of X (8) Y is an instrument for W (9) V causes W |
| (=> (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 |
| (=> (surfaceWindDirection ?PLACE ?DIR) (exists (?WIND ?FROM) (and (instance ?WIND Wind) (instance ?FROM Region) (eventPartlyLocated ?WIND ?PLACE) (origin ?WIND ?FROM) (orientation ?FROM ?PLACE ?DIR)))) |
Weather.kif 166-174 | If X is a surface wind direction of Y, then there exist Z, W such that Z is an instance of wind, W is an instance of region, Z is partly located at Y, Z originates at W, and W is X to Y |
| (=> (and (instance ?BN BeaufortNumberAttribute) (property ?X ?BN)) (instance ?X Wind)) |
Weather.kif 315-319 | If X is an instance of Beaufort number attribute and Y the attribute X, then Y is an instance of wind |
|