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 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 Le nombre 1 argument de ThreeSecondGustSpeedFn est une instance de secteur g�ographique
(domain ThreeSecondGustSpeedFn 2 TimeInterval) Weather.kif 2017-2017 Le nombre 2 argument de ThreeSecondGustSpeedFn est une instance de interval temporel
(instance ThreeSecondGustSpeedFn BinaryFunction) Weather.kif 2019-2019 ThreeSecondGustSpeedFn est une instance de fonction binaire
(range ThreeSecondGustSpeedFn FunctionQuantity) Weather.kif 2018-2018 Le domaine de ThreeSecondGustSpeedFn est une instance de function de quantit�

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
-------------------------


(=>
    (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 2174-2188
(=>
    (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 2079-2097


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