ThreeSecondGustSpeedFn |
appearance as argument number 1 |
(documentation ThreeSecondGustSpeedFn ChineseLanguage "(ThreeSecondGustSpeedFn ?PLACE ?TIME) 得出于 ?TIME 2 分钟TimeInterval(时间间隔), 在?PLACE 所录得的最高累积3秒平均风速。") | Weather.kif 2012-2013 | |
(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 2008-2010 | |
(domain ThreeSecondGustSpeedFn 1 GeographicArea) | Weather.kif 2016-2016 | The number 1 argument of three second gust speed is an instance of geographic area |
(domain ThreeSecondGustSpeedFn 2 TimeInterval) | Weather.kif 2017-2017 | The number 2 argument of three second gust speed is an instance of time interval |
(instance ThreeSecondGustSpeedFn BinaryFunction) | Weather.kif 2019-2019 | Three second gust speed is an instance of binary function |
(range ThreeSecondGustSpeedFn FunctionQuantity) | Weather.kif 2018-2018 | The range of three second gust speed is an instance of function quantity |
appearance as argument number 2 |
(format ChineseLanguage ThreeSecondGustSpeedFn "在 %2 时间结束以前, 发生在区域 %1 的 ThreeSecondGustSpeedFn (3秒阵风风速)") | Weather.kif 2014-2015 | |
(format EnglishLanguage ThreeSecondGustSpeedFn "ThreeSecondSpeedGustFn ending at %2 in %1") | Weather.kif 2011-2011 | |
(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 2021-2031 |
|
consequent |