TreeView Knowledge Base Browser - 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	域 ThreeSecondGustSpeedFn, 1 and GeographicArea
(domain ThreeSecondGustSpeedFn 2 TimeInterval)	Weather.kif 2030-2030	域 ThreeSecondGustSpeedFn, 2 and TimeInterval
(instance ThreeSecondGustSpeedFn BinaryFunction)	Weather.kif 2032-2032	例 ThreeSecondGustSpeedFn and BinaryFunction
(range ThreeSecondGustSpeedFn FunctionQuantity)	Weather.kif 2031-2031	範圍 ThreeSecondGustSpeedFn and FunctionQuantity

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

等於 FunctionQuantity and ThreeSecondGustSpeedFn GeographicArea and TimeInterval
FunctionQuantityLIST NumberList and UnitOfMeasure 等於 FunctionQuantityLIST and Mean3SecondWindSpeedListFn GeographicArea and TimeInterval 等於 NumberList and PhysicalQuantityToNumberFn FunctionQuantityLIST 等於 FunctionQuantity and 測量 MaxValueFn NumberList and UnitOfMeasure

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	例 Process and 龍捲風例 Entity and EF5 Process 是 located 在 Object 相信 CognitiveAgent and 屬性 Process and Entity RealNumber 比較多 RealNumber and 200.0 相信 CognitiveAgent and 等於測量 RealNumber and MilesPerHour and ThreeSecondGustSpeedFn Object and 何時 Process
(=> (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	例 Process and 龍捲風例 SpeedScaleAttribute and EFScaleAttribute Process 是 located 在 Object 相信 CognitiveAgent and 屬性 Process and SpeedScaleAttribute speedScaleAttributeMinMax SpeedScaleAttribute, 測量 RealNumber and MilesPerHour and 測量 RealNumber and MilesPerHour RealNumber 大於或等於 RealNumber and RealNumber 小於或等於 RealNumber and RealNumber 相信 CognitiveAgent and 等於測量 RealNumber and MilesPerHour and ThreeSecondGustSpeedFn Object and 何時 Process

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: