Tornado - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Tornado

Tornado(tornado)

tornado, twister

appearance as argument number 1

(documentation Tornado ChineseLanguage "Tornado 是一团从积雨云底部延伸到地面，快速旋转的空气 Air。")	Weather.kif 2970-2971
(documentation Tornado EnglishLanguage "A Tornado is a rapidly rotating column of Air which extends from the Cloud base of a cumulonimbus to the ground.")	Weather.kif 2968-2969
(externalImage Tornado "http://articulatesoftware.com/SUMOpictures/weather/ pictures/ tornado_1884.png")	pictureList.kif 789-789
(subclass Tornado CyclonicStorm)	Weather.kif 2973-2973	Tornado is a subclass of cyclonic storm
(subclass Tornado Storm)	Weather.kif 2972-2972	Tornado is a subclass of storm

appearance as argument number 2

(termFormat ChineseLanguage Tornado "龙卷风")	domainEnglishFormat.kif 58479-58479
(termFormat ChineseTraditionalLanguage Tornado "龍捲風")	domainEnglishFormat.kif 58478-58478
(termFormat EnglishLanguage Tornado "tornado")	domainEnglishFormat.kif 58477-58477

antecedent

(=> (and (instance ?T Tornado) (eventLocated ?T ?R) (instance ?R BodyOfWater)) (instance ?S TornadicWaterspout))	Weather.kif 1531-1536	If a process is an instance of tornado and the process is located at an object and the object is an instance of body of water, then an entity is an instance of tornadic waterspout
(=> (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 3515-3529	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 equal the real number miles per hour(s) and ThreeSecondSpeedGustFn ending at the time of existence of the process in the object
(=> (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 3420-3438	If a process is an instance of tornado and a speed scale attribute is an instance of enhanced fuijita scale attribute and the process is located at an object and a cognitive agent believes the process the attribute the speed scale attribute and a real number miles per hour(s) and another real number miles per hour(s) are the min and max speed of the speed scale attribute, then there exists a third real number such that the third real number is greater than or equal to the real number and the third real number is less than or equal to the other real number and the cognitive agent believes equal the third real number miles per hour(s) and ThreeSecondSpeedGustFn ending at the time of existence of the process in the object
(=> (and (instance ?T Tornado) (instance ?R Rotating) (instance ?A Air) (instance ?TRAN Translocation) (subProcess ?R ?T) (subProcess ?TRAN ?R) (patient ?TRAN ?A) (direction ?TRAN Horizontal)) (exists (?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE) (and (instance ?G GeographicArea) (eventLocated ?T ?G) (part ?FUNNEL ?A) (attribute ?FUNNEL ConeSegment) (top ?TOP ?FUNNEL) (bottom ?BOTTOM ?FUNNEL) (instance ?C Cloud) (bottom ?BASE ?C) (meetsSpatially ?TOP ?BASE) (meetsSpatially ?BOTTOM ?G))))	Weather.kif 2975-2996	If a process is an instance of tornado and another process is an instance of rotating and an object is an instance of air and the processRAN is an instance of translocation and the other process is a subprocess of the process and the processRAN is a subprocess of the other process and the object is a patient of the processRAN and entities in the process the processRAN are moving horizontal, then there exist another object, a self connected object,, , the processOP,, , a third self connected object,, , a fourth self connected object and a fifth self connected object such that the other object is an instance of geographic area and the process is located at the other object and the self connected object is a part of the object and cone segment is an attribute of the self connected object and the top of the self connected object is the processOP and the bottom of the self connected object is the third self connected object and the fourth self connected object is an instance of cloud and the bottom of the fourth self connected object is the fifth self connected object and the processOP meets the fifth self connected object and the third self connected object meets the other object

consequent

(=> (and (instance ?EF EFScaleAttribute) (property ?T ?EF)) (instance ?T Tornado))	Weather.kif 3414-3418	If an attribute is an instance of enhanced fuijita scale attribute and an entity the attribute the attribute, then the entity is an instance of tornado
(=> (instance ?TD TornadoDamage) (exists (?T ?D) (and (instance ?T Tornado) (instance ?D Damaging) (causes ?T ?D) (patient ?D ?TD))))	Weather.kif 3394-3401	If an entity is an instance of tornado damage, then there exist a process and another process such that the process is an instance of tornado and the other process is an instance of damaging and the process causes the other process and the entity is a patient of the other process

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