EF5 - Sigma Knowledge base Browser

appearance as argument number 1

(documentation EF5 ChineseLanguage "EFScale(改良藤田级数)EF5 的龙卷风估计三秒阵风风速大于 200mph (322km/ h)。")	Weather.kif 2170-2171
(documentation EF5 EnglishLanguage "The estimated ThreeSecondGustSpeedFn for a Tornado of EFScaleAttribute EF5 is greater than 200mph (322km/ h).")	Weather.kif 2168-2169
(instance EF5 EFScaleAttribute)	Weather.kif 2172-2172	EF5 is an instance of enhanced fuijita scale attribute

appearance as argument number 2

(successorAttribute EF4 EF5)	Weather.kif 2165-2165	EF4 is an immediate successor attribute of EF5
(termFormat ChineseLanguage EF5 "改良藤田5")	domainEnglishFormat.kif 10378-10378	EF4 is an immediate successor attribute of EF5
(termFormat EnglishLanguage EF5 "EF5")	domainEnglishFormat.kif 10377-10377	EF4 is an immediate successor attribute of EF5

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

If a process is an instance of tornado and an entity is an instance of EF5 and the process is located at an object and a cognitive agent believes the process the attribute the entity,
then there exists a real number such that the real number is greater than 200.0 and the cognitive agent believes the real number miles per hour(s) is equal to ThreeSecondSpeedGustFn ending at the time of existence of the process in the object

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: