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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EF5

Sigma KEE - EF5
EF5(改良藤田5)

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


(documentation EF5 ChineseLanguage "EFScale(改良藤田级数)EF5 的龙卷风估计三秒阵风风速大于 200mph (322km/ h)。") Weather.kif 2187-2188
(documentation EF5 EnglishLanguage "The estimated ThreeSecondGustSpeedFn for a Tornado of EFScaleAttribute EF5 is greater than 200mph (322km/ h).") Weather.kif 2185-2186
(instance EF5 EFScaleAttribute) Weather.kif 2189-2189 改良藤田5改良藤田级数instance

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


(successorAttribute EF4 EF5) Weather.kif 2182-2182 改良藤田4改良藤田5 的直接后续属性
(termFormat ChineseLanguage EF5 "改良藤田5") domainEnglishFormat.kif 10370-10370
(termFormat EnglishLanguage EF5 "EF5") domainEnglishFormat.kif 10369-10369

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


(=>
    (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 2191-2205


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