| 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 11395-11395 | |
| (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 2063-2063 | |
| (subclass Wind GasMotion) | Merge.kif 11394-11394 | |
| (subclass Wind WeatherProcess) | Weather.kif 1476-1476 |
| appearance as argument number 2 |
|
|
| (subclass ChinookWind Wind) | Weather.kif 1659-1659 | |
| (subclass FohnWind Wind) | Weather.kif 1723-1723 | |
| (subclass HarmattanWind Wind) | Weather.kif 1539-1539 | |
| (subclass KatabaticWind Wind) | Weather.kif 2045-2045 | |
| (subclass Khamsin Wind) | Weather.kif 1607-1607 | |
| (subclass Mistral Wind) | Weather.kif 1635-1635 | |
| (subclass PuelcheWind Wind) | Weather.kif 1766-1766 | |
| (subclass Sirocco Wind) | Weather.kif 1509-1509 | |
| (subclass Squall Wind) | Weather.kif 1812-1812 | |
| (subclass StrongWind Wind) | Weather.kif 1478-1478 | |
| (subclass WindGust Wind) | Weather.kif 1848-1848 | |
| (termFormat ChineseLanguage Wind "风") | domainEnglishFormat.kif 63093-63093 | |
| (termFormat ChineseTraditionalLanguage Wind "風") | domainEnglishFormat.kif 63092-63092 | |
| (termFormat EnglishLanguage Wind "wind") | domainEnglishFormat.kif 63091-63091 |
| appearance as argument number 3 |
|
|
| (domain windDrivenMotion 1 Wind) | Weather.kif 315-315 |
| 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 1991-2012 | |
| (=> (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 472-484 | |
| (=> (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 337-354 | |
| (=> (instance ?WIND Wind) (exists (?AIR) (and (patient ?WIND ?AIR) (instance ?AIR Air)))) |
Merge.kif 14952-14957 |
| consequent |
|
|
| (=> (and (instance ?BN BeaufortNumberAttribute) (property ?X ?BN)) (instance ?X Wind)) |
Weather.kif 331-335 | |
| (=> (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 2760-2766 | |
| (=> (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 1318-1329 | |
| (=> (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 31716-31724 | |
| (=> (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 |
|
|
|