| Wind
| |
| appearance as argument number 1 |
|
|
| (documentation Wind ChineseLanguage "这是 Air 的任何 Motion。") | chinese_format.kif 3027-3027 | |
| (documentation Wind EnglishLanguage "Any Motion of Air.") | Merge.kif 11242-11242 | |
| (documentation Wind JapaneseLanguage "Air の任意の Motion。") | japanese_format.kif 1792-1792 | |
| (externalImage Wind "http://articulatesoftware.com/SUMOpictures/weather/ wind.png") | pictureList.kif 839-839 | |
| (externalImage Wind "http://upload.wikimedia.org/wikipedia/commons/c/cd/ Cessna_182_model-wingtip-vortex.jpg") | pictureList.kif 2064-2064 | |
| (subclass Wind GasMotion) | Merge.kif 11240-11240 | |
| (subclass Wind WeatherProcess) | Weather.kif 1241-1241 |
| appearance as argument number 2 |
|
|
| (subclass ChinookWind Wind) | Weather.kif 1249-1249 | |
| (subclass Ghibli Wind) | Weather.kif 1248-1248 | |
| (subclass HarmattanWind Wind) | Weather.kif 1245-1245 | |
| (subclass Khamsin Wind) | Weather.kif 1246-1246 | |
| (subclass Mistral Wind) | Weather.kif 1247-1247 | |
| (subclass Sirocco Wind) | Weather.kif 1244-1244 | |
| (subclass StrongWind Wind) | Weather.kif 1243-1243 | |
| (termFormat ChineseLanguage Wind "风") | domainEnglishFormat.kif 63111-63111 | |
| (termFormat ChineseTraditionalLanguage Wind "風") | domainEnglishFormat.kif 63110-63110 | |
| (termFormat EnglishLanguage Wind "wind") | domainEnglishFormat.kif 63109-63109 |
| appearance as argument number 3 |
|
|
| (domain windDrivenMotion 1 Wind) | Weather.kif 327-327 |
| antecedent |
|
|
| (=> (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 1275-1296 | |
| (=> (and (instance ?PLACE Object) (instance ?BLOW Wind) (measure ?BLOW (VelocityFn ?DIST ?TIME ?PLACE ?DIRECTION))) (surfaceWindVelocity ?PLACE (SpeedFn ?DIST ?TIME) ?DIRECTION)) |
Weather.kif 125-130 | |
| (=> (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 484-496 | |
| (=> (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 349-366 | |
| (=> (instance ?WIND Wind) (exists (?AIR) (and (patient ?WIND ?AIR) (instance ?AIR Air)))) |
Merge.kif 14769-14774 |
| consequent |
|
|
| (=> (and (instance ?BN BeaufortNumberAttribute) (property ?X ?BN)) (instance ?X Wind)) |
Weather.kif 343-347 | |
| (=> (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 ?F FanDevice) (hasPurpose ?F (exists (?W) (and (instance ?W Wind) (instrument ?W ?F))))) |
Mid-level-ontology.kif 2269-2275 | |
| (=> (instance ?R WindFlow) (exists (?WIND) (and (instance ?WIND Wind) (eventLocated ?WIND ?R)))) |
Weather.kif 94-99 | |
| (=> (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 1304-1315 | |
| (=> (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 178-186 |
|
|
|