| Tornado(tornado)
| | tornado, twister |
| appearance as argument number 1 |
|
|
| (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 | |
| (documentation Tornado ChineseLanguage "Tornado 是一团从积雨云底部延伸到地面， 快速旋转的空气 Air。") | Weather.kif 2970-2971 | |
| (subclass Tornado Storm) | Weather.kif 2972-2972 | Tornado is a subclass of storm |
| (subclass Tornado CyclonicStorm) | Weather.kif 2973-2973 | Tornado is a subclass of cyclonic storm |
| (externalImage Tornado "http://articulatesoftware.com/SUMOpictures/weather/ pictures/ tornado_1884.png") | pictureList.kif 789-789 | Tornado is a subclass of cyclonic storm |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?T Tornado) (eventLocated ?T ?R) (instance ?R BodyOfWater)) (instance ?S TornadicWaterspout)) |
Weather.kif 1531-1536 | If X is an instance of tornado, X is located at Y, and Y is an instance of body of water, then Z is an instance of tornadic waterspout |
| (=> (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 All of the following hold: (1) X is an instance of tornado (2) Y is an instance of rotating (3) Z is an instance of air (4) W is an instance of translocation (5) Y is a subprocess of X (6) W is a subprocess of Y (7) Z is a patient of W (8) entities in the process W are moving horizontal to, then All of the following hold: (1) there exist V, U,, , T,, , S,, , R (2) Q such that V is an instance of geographic area (3) X is located at V (4) U is a part of Z (5) cone segment is an attribute of U (6) the top of U is T (7) the bottom of U is S (8) R is an instance of cloud (9) the bottom of R is Q (10) T meets Q (11) S meets V |
| (=> (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 3407-3425 | If X is an instance of tornado, Y is an instance of enhanced fuijita scale attribute, X is located at Z, W believes X the attribute Y, and V miles per hour(s) and U miles per hour(s) are the min and max speed of Y, then there exists T such that T is greater than or equal to V and T is less than or equal to U and W believes equal T miles per hour(s) and ThreeSecondSpeedGustFn ending at the time of existence of X in Z |
| (=> (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 3502-3516 | If X is an instance of tornado, Y is an instance of EF5, X is located at Z, and W believes X the attribute Y, then there exists V such that V is greater than 200.0 and W believes equal V miles per hour(s) and ThreeSecondSpeedGustFn ending at the time of existence of X in Z |
| consequent |
|
|
| (=> (instance ?TD TornadoDamage) (exists (?T ?D) (and (instance ?T Tornado) (instance ?D Damaging) (causes ?T ?D) (patient ?D ?TD)))) |
Weather.kif 3381-3388 | If X is an instance of tornado damage, then there exist Y, Z such that Y is an instance of tornado, Z is an instance of damaging, Y causes Z, and X is a patient of Z |
| (=> (and (instance ?EF EFScaleAttribute) (property ?T ?EF)) (instance ?T Tornado)) |
Weather.kif 3401-3405 | If X is an instance of enhanced fuijita scale attribute and Y the attribute X, then Y is an instance of tornado |
|
|
|