Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
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 2953-2954 | |
| (documentation Tornado ChineseLanguage "Tornado 是一团从积雨云底部延伸到地面， 快速旋转的空气 Air。") | Weather.kif 2955-2956 | |
| (subclass Tornado Storm) | Weather.kif 2957-2957 | Tornado is a subclass of storm |
| (subclass Tornado CyclonicStorm) | Weather.kif 2958-2958 | 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 1515-1520 | 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 2960-2981 | 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 3363-3381 | 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 3458-3472 | 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 3337-3344 | 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 3357-3361 | If X is an instance of enhanced fuijita scale attribute and Y the attribute X, then Y is an instance of tornado |
|