ThreeSecondGustSpeedFn |
appearance as argument number 1 |
(documentation ThreeSecondGustSpeedFn ChineseLanguage "(ThreeSecondGustSpeedFn ?PLACE ?TIME) 得出于 ?TIME 2 分钟TimeInterval(时间间隔), 在?PLACE 所录得的最高累积3秒平均风速。") | Weather.kif 2025-2026 | |
(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 2021-2023 | |
(domain ThreeSecondGustSpeedFn 1 GeographicArea) | Weather.kif 2029-2029 | |
(domain ThreeSecondGustSpeedFn 2 TimeInterval) | Weather.kif 2030-2030 | |
(instance ThreeSecondGustSpeedFn BinaryFunction) | Weather.kif 2032-2032 | |
(range ThreeSecondGustSpeedFn FunctionQuantity) | Weather.kif 2031-2031 |
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 |
(=> (and (instance ?T Tornado) (instance ?EF EF5) (eventLocated ?T ?AREA) (believes ?A (property ?T ?EF))) (exists (?GUST) (and (greaterThan ?GUST 200.0) (believes ?A (equal (MeasureFn ?GUST MilesPerHour) (ThreeSecondGustSpeedFn ?AREA (WhenFn ?T))))))) |
Weather.kif 2187-2201 | |
(=> (and (instance ?T Tornado) (instance ?EF EFScaleAttribute) (eventLocated ?T ?AREA) (believes ?A (property ?T ?EF)) (speedScaleAttributeMinMax ?EF (MeasureFn ?MIN MilesPerHour) (MeasureFn ?MAX MilesPerHour))) (exists (?GUST) (and (greaterThanOrEqualTo ?GUST ?MIN) (lessThanOrEqualTo ?GUST ?MAX) (believes ?A (equal (MeasureFn ?GUST MilesPerHour) (ThreeSecondGustSpeedFn ?AREA (WhenFn ?T))))))) |
Weather.kif 2092-2110 |