surfaceWindSpeed |
appearance as argument number 1 |
(documentation surfaceWindSpeed EnglishLanguage "(surfaceWindSpeed ?PLACE ?RATE) means that the speed of the surface Wind at the GeographicArea ?PLACE is ?RATE. Wind speed may be expressed in knots (KnotUnitOfSpeed) or as any distance per time unit (using (SpeedFn ?DISTANCE ?TIME)). Surface wind is found at the surface of the planet, everyday wind. Technically, Winds moving through the atmosphere up to an altitude of 500 feet.") | Merge.kif 11297-11303 | |
(domain surfaceWindSpeed 1 Object) | Merge.kif 11294-11294 | The number 1 argument of surface wind speed is an instance of object |
(domain surfaceWindSpeed 2 PhysicalQuantity) | Merge.kif 11295-11295 | The number 2 argument of surface wind speed is an instance of physical quantity |
(instance surfaceWindSpeed BinaryPredicate) | Merge.kif 11293-11293 | surface wind speed is an instance of binary predicate |
appearance as argument number 2 |
(format ChineseLanguage surfaceWindSpeed "%2 %n 是 %1 的 surface 风速") | domainEnglishFormat.kif 2423-2423 | |
(format ChineseTraditionalLanguage surfaceWindSpeed "%2 %n 是 %1 的 surface 風速") | domainEnglishFormat.kif 2422-2422 | |
(format EnglishLanguage surfaceWindSpeed "%2 is %n a surface wind speed of %1") | domainEnglishFormat.kif 2421-2421 | |
(termFormat ChineseLanguage surfaceWindSpeed "地面风速") | domainEnglishFormat.kif 56325-56325 | |
(termFormat ChineseTraditionalLanguage surfaceWindSpeed "地面風速") | domainEnglishFormat.kif 56324-56324 | |
(termFormat EnglishLanguage surfaceWindSpeed "surface wind speed") | domainEnglishFormat.kif 56323-56323 |
antecedent |
(=> (and (instance ?W Windy) (located ?W ?L) (equal ?T (WhenFn ?W)) (holdsDuring ?T (surfaceWindSpeed ?L (MeasureFn ?N MilesPerHour)))) (greaterThan ?N 20.0)) |
Merge.kif 11310-11318 |
|
consequent |