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 11301-11301 | |
(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 11300-11300 | 风 是 气体运动 的 subclass |
(subclass Wind WeatherProcess) | Weather.kif 1225-1225 | 风 是 天气过程 的 subclass |
appearance as argument number 2 |
![]() |
(subclass ChinookWind Wind) | Weather.kif 1233-1233 | 奇努克风 是 风 的 subclass |
(subclass Ghibli Wind) | Weather.kif 1232-1232 | 吉卜力 是 风 的 subclass |
(subclass HarmattanWind Wind) | Weather.kif 1229-1229 | 哈马坦风 是 风 的 subclass |
(subclass Khamsin Wind) | Weather.kif 1230-1230 | 坎辛风 是 风 的 subclass |
(subclass Mistral Wind) | Weather.kif 1231-1231 | 寒冷西北风 是 风 的 subclass |
(subclass Sirocco Wind) | Weather.kif 1228-1228 | 热风 是 风 的 subclass |
(subclass StrongWind Wind) | Weather.kif 1227-1227 | 大风 是 风 的 subclass |
(termFormat ChineseLanguage Wind "风") | domainEnglishFormat.kif 63124-63124 | 大风 是 风 的 subclass |
(termFormat ChineseTraditionalLanguage Wind "風") | domainEnglishFormat.kif 63123-63123 | 大风 是 风 的 subclass |
(termFormat EnglishLanguage Wind "wind") | domainEnglishFormat.kif 63122-63122 | 大风 是 风 的 subclass |
appearance as argument number 3 |
![]() |
(domain windDrivenMotion 1 Wind) | Weather.kif 315-315 | 风力驱动运动 的 1 数量 是 风 的 instance |
antecedent |
![]() |
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 2290-2296 | |
(=> (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 1306-1317 |
|
(=> (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 30113-30121 | |
(=> (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 |
![]() |
![]() |