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.") | Weather.kif 136-142 | |
(domain surfaceWindSpeed 1 Object) | Weather.kif 133-133 | Le nombre 1 argument de surfaceWindSpeed est une instance de objet |
(domain surfaceWindSpeed 2 PhysicalQuantity) | Weather.kif 134-134 | Le nombre 2 argument de surfaceWindSpeed est une instance de quantit� physique |
(instance surfaceWindSpeed BinaryPredicate) | Weather.kif 132-132 | surfaceWindSpeed est une instance de pr�dicat binaire |
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 56323-56323 | |
(termFormat ChineseTraditionalLanguage surfaceWindSpeed "地面風速") | domainEnglishFormat.kif 56322-56322 | |
(termFormat EnglishLanguage surfaceWindSpeed "surface wind speed") | domainEnglishFormat.kif 56321-56321 |
antecedent |
(=> (and (instance ?W Wind) (located ?W ?L) (equal ?T (WhenFn ?W)) (holdsDuring ?T (surfaceWindSpeed ?L (MeasureFn ?N MilesPerHour)))) (greaterThan ?N 20.0)) |
Merge.kif 11264-11272 |
|
consequent |