Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ThreeSecondGustSpeedFn
ThreeSecondGustSpeedFn

appearance as argument number 1
-------------------------


(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 3292-3294
(documentation ThreeSecondGustSpeedFn ChineseLanguage "(ThreeSecondGustSpeedFn ?PLACE ?TIME) 得出于 ?TIME 2 分钟TimeInterval(时间间隔)， 在?PLACE 所录得的最高累积3秒平均风速。") Weather.kif 3296-3297
(domain ThreeSecondGustSpeedFn 1 GeographicArea) Weather.kif 3300-3300 The number 1 argument of three second gust speed is an instance of geographic area
(domain ThreeSecondGustSpeedFn 2 TimeInterval) Weather.kif 3301-3301 The number 2 argument of three second gust speed is an instance of timeframe
(range ThreeSecondGustSpeedFn FunctionQuantity) Weather.kif 3302-3302 The range of three second gust speed is an instance of function quantity
(instance ThreeSecondGustSpeedFn BinaryFunction) Weather.kif 3303-3303 Three second gust speed is an instance of binary function

appearance as argument number 2
-------------------------


(format EnglishLanguage ThreeSecondGustSpeedFn "ThreeSecondSpeedGustFn ending at %2 in %1") Weather.kif 3295-3295
(format ChineseLanguage ThreeSecondGustSpeedFn "在 %2 时间结束以前， 发生在区域 %1 的 ThreeSecondGustSpeedFn (3秒阵风风速)") Weather.kif 3298-3299
(termFormat EnglishLanguage ThreeSecondGustSpeedFn "three second gust speed") domainEnglishFormat.kif 10384-10384
(termFormat ChineseLanguage ThreeSecondGustSpeedFn "3秒阵风风速") domainEnglishFormat.kif 10385-10385

antecedent
-------------------------


(=>
    (and
        (instance ?G WindGust)
        (eventLocated ?G ?R)
        (instance ?R GeographicArea)
        (equal
            (ThreeSecondGustSpeedFn ?R
                (WhenFn ?G))
            (MeasureFn ?TOP MilesPerHour))
        (earlier ?T
            (WhenFn ?G))
        (holdsDuring ?T
            (surfaceWindSpeed ?R
                (MeasureFn ?BASE MilesPerHour)))
        (equal ?DIFF
            (SubtractionFn ?TOP ?BASE)))
    (and
        (greaterThanOrEqualTo ?TOP 18)
        (greaterThanOrEqualTo ?DIFF 10)))		 Weather.kif 2313-2329 If All of the following hold: (1) X is an instance of wind gust (2) X is located at Y (3) Y is an instance of geographic area (4) equal ThreeSecondSpeedGustFn ending at the time of existence of X in Y and Z miles per hour(s) (5) W happens earlier than the time of existence of X (6) V miles per hour(s) is a surface wind speed of Y holds during W (7) equal U and (Z and V), then Z is greater than or equal to 18 and U is greater than or equal to 10
(=>
    (and
        (instance ?G WindGust)
        (eventLocated ?G ?R)
        (instance ?R GeographicArea)
        (equal
            (ThreeSecondGustSpeedFn ?R
                (WhenFn ?G))
            (MeasureFn ?TOP MilesPerHour))
        (earlier
            (WhenFn ?G) ?T)
        (holdsDuring ?T
            (surfaceWindSpeed ?R
                (MeasureFn ?BASE MilesPerHour)))
        (equal ?DIFF
            (SubtractionFn ?TOP ?BASE)))
    (greaterThanOrEqualTo ?DIFF 10))		 Weather.kif 2331-2345 If All of the following hold: (1) X is an instance of wind gust (2) X is located at Y (3) Y is an instance of geographic area (4) equal ThreeSecondSpeedGustFn ending at the time of existence of X in Y and Z miles per hour(s) (5) the time of existence of X happens earlier than W (6) V miles per hour(s) is a surface wind speed of Y holds during W (7) equal U and (Z and V), then U is greater than or equal to 10
(=>
    (and
        (instance ?G WeakGust)
        (eventLocated ?G ?R)
        (instance ?R GeographicArea)
        (equal
            (ThreeSecondGustSpeedFn ?R
                (WhenFn ?G))
            (MeasureFn ?TOP MilesPerHour))
        (earlier ?T
            (WhenFn ?G))
        (holdsDuring ?T
            (surfaceWindSpeed ?R
                (MeasureFn ?BASE MilesPerHour)))
        (equal ?DIFF
            (SubtractionFn ?TOP ?BASE)))
    (and
        (greaterThanOrEqualTo ?DIFF 12)
        (lessThanOrEqualTo ?DIFF 17)))		 Weather.kif 2352-2368 If All of the following hold: (1) X is an instance of weak gust (2) X is located at Y (3) Y is an instance of geographic area (4) equal ThreeSecondSpeedGustFn ending at the time of existence of X in Y and Z miles per hour(s) (5) W happens earlier than the time of existence of X (6) V miles per hour(s) is a surface wind speed of Y holds during W (7) equal U and (Z and V), then U is greater than or equal to 12 and U is less than or equal to 17
(=>
    (and
        (instance ?G StrongGust)
        (eventLocated ?G ?R)
        (instance ?R GeographicArea)
        (equal
            (ThreeSecondGustSpeedFn ?R
                (WhenFn ?G))
            (MeasureFn ?TOP MilesPerHour))
        (earlier ?T
            (WhenFn ?G))
        (holdsDuring ?T
            (surfaceWindSpeed ?R
                (MeasureFn ?BASE MilesPerHour)))
        (equal ?DIFF
            (SubtractionFn ?TOP ?BASE)))
    (and
        (greaterThan ?DIFF 17)
        (lessThanOrEqualTo ?DIFF 29)))		 Weather.kif 2375-2391 If All of the following hold: (1) X is an instance of strong gust (2) X is located at Y (3) Y is an instance of geographic area (4) equal ThreeSecondSpeedGustFn ending at the time of existence of X in Y and Z miles per hour(s) (5) W happens earlier than the time of existence of X (6) V miles per hour(s) is a surface wind speed of Y holds during W (7) equal U and (Z and V), then U is greater than 17 and U is less than or equal to 29
(=>
    (and
        (instance ?G ViolentGust)
        (eventLocated ?G ?R)
        (instance ?R GeographicArea)
        (equal
            (ThreeSecondGustSpeedFn ?R
                (WhenFn ?G))
            (MeasureFn ?TOP MilesPerHour))
        (earlier ?T
            (WhenFn ?G))
        (holdsDuring ?T
            (surfaceWindSpeed ?R
                (MeasureFn ?BASE MilesPerHour)))
        (equal ?DIFF
            (SubtractionFn ?TOP ?BASE)))
    (greaterThan ?DIFF 29))		 Weather.kif 2398-2412 If All of the following hold: (1) X is an instance of violent gust (2) X is located at Y (3) Y is an instance of geographic area (4) equal ThreeSecondSpeedGustFn ending at the time of existence of X in Y and Z miles per hour(s) (5) W happens earlier than the time of existence of X (6) V miles per hour(s) is a surface wind speed of Y holds during W (7) equal U and (Z and V), then U is greater than 29
(=>
    (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 3305-3315 If equal X and ThreeSecondSpeedGustFn ending at Y in Z, then there exist W, V and U such that equal W and Mean3SecondWindSpeedListFn ending at Y in region Z and equal V and PhysicalQuantityToNumberFn returns the numberic values of a list of W and equal X and The maximum value of the V U(s)

consequent
-------------------------


(=>
    (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 3363-3381 If X is an instance of tornado, Y is an instance of enhanced fuijita scale attribute, X is located at Z, W believes X the attribute Y, and V miles per hour(s) and U miles per hour(s) are the min and max speed of Y, then there exists T such that T is greater than or equal to V and T is less than or equal to U and W believes equal T miles per hour(s) and ThreeSecondSpeedGustFn ending at the time of existence of X in Z
(=>
    (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 3458-3472 If X is an instance of tornado, Y is an instance of EF5, X is located at Z, and W believes X the attribute Y, then there exists V such that V is greater than 200.0 and W believes equal V miles per hour(s) and ThreeSecondSpeedGustFn ending at the time of existence of X in Z


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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners