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 11279-11279 | |
(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 11278-11278 | Wind ist eine teilkategorie von GasMotion |
(subclass Wind WeatherProcess) | Weather.kif 1237-1237 | Wind ist eine teilkategorie von WeatherProcess |
appearance as argument number 2 |
(subclass ChinookWind Wind) | Weather.kif 1245-1245 | ChinookWind ist eine teilkategorie von Wind |
(subclass Ghibli Wind) | Weather.kif 1244-1244 | Ghibli ist eine teilkategorie von Wind |
(subclass HarmattanWind Wind) | Weather.kif 1241-1241 | HarmattanWind ist eine teilkategorie von Wind |
(subclass Khamsin Wind) | Weather.kif 1242-1242 | Khamsin ist eine teilkategorie von Wind |
(subclass Mistral Wind) | Weather.kif 1243-1243 | Mistral ist eine teilkategorie von Wind |
(subclass Sirocco Wind) | Weather.kif 1240-1240 | Sirocco ist eine teilkategorie von Wind |
(subclass StrongWind Wind) | Weather.kif 1239-1239 | StrongWind ist eine teilkategorie von Wind |
(termFormat ChineseLanguage Wind "风") | domainEnglishFormat.kif 63099-63099 | |
(termFormat ChineseTraditionalLanguage Wind "風") | domainEnglishFormat.kif 63098-63098 | |
(termFormat EnglishLanguage Wind "wind") | domainEnglishFormat.kif 63097-63097 |
appearance as argument number 3 |
(domain windDrivenMotion 1 Wind) | Weather.kif 327-327 | Die Zahl 1 Argument von windDrivenMotion ist ein fall von Wind %n{nicht} |
antecedent |
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 2297-2303 |
|
(=> (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 1305-1316 |
|
(=> (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 |
|