Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ThreeSecondGustSpeedFn

Sigma KEE - ThreeSecondGustSpeedFn
ThreeSecondGustSpeedFn

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


(documentation ThreeSecondGustSpeedFn ChineseLanguage "(ThreeSecondGustSpeedFn ?PLACE ?TIME) 得出于 ?TIME 2 分钟TimeInterval(时间间隔), 在?PLACE 所录得的最高累积3秒平均风速。") Weather.kif 2028-2029
(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 2024-2026
(domain ThreeSecondGustSpeedFn 1 GeographicArea) Weather.kif 2032-2032 The number 1 argument of three second gust speed is an instance of geographic area
(domain ThreeSecondGustSpeedFn 2 TimeInterval) Weather.kif 2033-2033 The number 2 argument of three second gust speed is an instance of time interval
(instance ThreeSecondGustSpeedFn BinaryFunction) Weather.kif 2035-2035 Three second gust speed is an instance of binary function
(range ThreeSecondGustSpeedFn FunctionQuantity) Weather.kif 2034-2034 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 2030-2031
(format EnglishLanguage ThreeSecondGustSpeedFn "ThreeSecondSpeedGustFn ending at %2 in %1") Weather.kif 2027-2027
(termFormat ChineseLanguage ThreeSecondGustSpeedFn "3秒阵风风速") domainEnglishFormat.kif 10394-10394
(termFormat EnglishLanguage ThreeSecondGustSpeedFn "three second gust speed") domainEnglishFormat.kif 10393-10393

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


(=>
    (equal ?SPEED
        (ThreeSecondGustSpeedFn ?PLACE ?TIME))
    (exists (?SPEEDLIST ?NLIST)
        (and
            (equal ?SPEEDLIST
                (Mean3SecondWindSpeedListFn ?PLACE ?TIME))
            (equal ?NLIST
                (PhysicalQuantityToNumberFn ?SPEEDLIST))
            (equal ?SPEED
                (MeasureFn
                    (MaxValueFn ?NLIST) ?UNIT)))))
Weather.kif 2037-2047

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 2190-2204
(=>
    (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 2095-2113


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners