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 11291-11291 | |
(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 11290-11290 | Wind は GasMotion の subclass では %n |
(subclass Wind WeatherProcess) | Weather.kif 1225-1225 | Wind は WeatherProcess の subclass では %n |
appearance as argument number 2 |
(subclass ChinookWind Wind) | Weather.kif 1233-1233 | ChinookWind は Wind の subclass では %n |
(subclass Ghibli Wind) | Weather.kif 1232-1232 | Ghibli は Wind の subclass では %n |
(subclass HarmattanWind Wind) | Weather.kif 1229-1229 | HarmattanWind は Wind の subclass では %n |
(subclass Khamsin Wind) | Weather.kif 1230-1230 | Khamsin は Wind の subclass では %n |
(subclass Mistral Wind) | Weather.kif 1231-1231 | Mistral は Wind の subclass では %n |
(subclass Sirocco Wind) | Weather.kif 1228-1228 | Sirocco は Wind の subclass では %n |
(subclass StrongWind Wind) | Weather.kif 1227-1227 | StrongWind は Wind の subclass では %n |
(termFormat ChineseLanguage Wind "风") | domainEnglishFormat.kif 63101-63101 | |
(termFormat ChineseTraditionalLanguage Wind "風") | domainEnglishFormat.kif 63100-63100 | |
(termFormat EnglishLanguage Wind "wind") | domainEnglishFormat.kif 63099-63099 |
appearance as argument number 3 |
(domain windDrivenMotion 1 Wind) | Weather.kif 315-315 | windDrivenMotion の数値 1 引数は Wind の instance では %n |
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 1305-1316 | |
(=> (orientation ?O1 ?O2 Downwind) (exists (?W ?L ?P) (and (instance ?W Wind) (path ?T ?P) (origin ?T ?O2) (beforeOnPath ?O2 ?O1 ?P ?T) (destination ?T ?O1)))) |
Mid-level-ontology.kif 29848-29856 | |
(=> (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 |