ThreeSecondGustSpeedFn |
appearance as argument number 1 |
(documentation ThreeSecondGustSpeedFn ChineseLanguage "(ThreeSecondGustSpeedFn ?PLACE ?TIME) 得出于 ?TIME 2 分钟TimeInterval(时间间隔), 在?PLACE 所录得的最高累积3秒平均风速。") | Weather.kif 2029-2030 | |
(documentation ThreeSecondGustSpeedFn EnglishLanguage "(ThreeSecondGustSpeedFn ?PLACE ?TIME) returns the highest running 3-second average wind speed recorded at ?PLACE in the 2 minutes TimeInterval ?TIME.") | Weather.kif 2025-2027 | |
(domain ThreeSecondGustSpeedFn 1 GeographicArea) | Weather.kif 2033-2033 | ThreeSecondGustSpeedFn の数値 1 引数は 地理的地域 の instance では %n |
(domain ThreeSecondGustSpeedFn 2 TimeInterval) | Weather.kif 2034-2034 | ThreeSecondGustSpeedFn の数値 2 引数は 時間間隔 の instance では %n |
(instance ThreeSecondGustSpeedFn BinaryFunction) | Weather.kif 2036-2036 | ThreeSecondGustSpeedFn は 2変数関数 の instance では %n |
(range ThreeSecondGustSpeedFn FunctionQuantity) | Weather.kif 2035-2035 | ThreeSecondGustSpeedFn の range は 関数量 のインスタンス では %n |
appearance as argument number 2 |
(format ChineseLanguage ThreeSecondGustSpeedFn "在 %2 时间结束以前, 发生在区域 %1 的 ThreeSecondGustSpeedFn (3秒阵风风速)") | Weather.kif 2031-2032 | |
(format EnglishLanguage ThreeSecondGustSpeedFn "ThreeSecondSpeedGustFn ending at %2 in %1") | Weather.kif 2028-2028 | |
(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 2038-2048 |
|
consequent |