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 | 地面风速 的 1 数量 是 客体 的 instance |
(domain surfaceWindSpeed 2 PhysicalQuantity) | Weather.kif 134-134 | 地面风速 的 2 数量 是 物理量 的 instance |
(instance surfaceWindSpeed BinaryPredicate) | Weather.kif 132-132 | 地面风速 是 二元谓语 的 instance |
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 |