ThreeSecondGustSpeedFn |
appearance as argument number 1 |
appearance as argument number 2 |
(format ChineseLanguage ThreeSecondGustSpeedFn "在 %2 时间结束以前, 发生在区域 %1 的 ThreeSecondGustSpeedFn (3秒阵风风速)") | Weather.kif 2027-2028 | |
(format EnglishLanguage ThreeSecondGustSpeedFn "ThreeSecondSpeedGustFn ending at %2 in %1") | Weather.kif 2024-2024 | |
(termFormat ChineseLanguage ThreeSecondGustSpeedFn "3秒阵风风速") | domainEnglishFormat.kif 10385-10385 | |
(termFormat EnglishLanguage ThreeSecondGustSpeedFn "three second gust speed") | domainEnglishFormat.kif 10384-10384 |
antecedent |
(=> (equal ?SPEED (ThreeSecondGustSpeedFn ?PLACE ?TIME)) (exists (?SPEEDLIST ?NLIST ?UNIT) (and (equal ?SPEEDLIST (Mean3SecondWindSpeedListFn ?PLACE ?TIME)) (equal ?NLIST (PhysicalQuantityToNumberFn ?SPEEDLIST)) (equal ?SPEED (MeasureFn (MaxValueFn ?NLIST) ?UNIT))))) |
Weather.kif 2034-2044 |
|
consequent |