Tornado
|
|
appearance as argument number 1 |
(documentation Tornado ChineseLanguage "Tornado 是一团从积雨云底部延伸到地面, 快速旋转的空气 Air。") | Weather.kif 1642-1643 | |
(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 1640-1641 | |
(externalImage Tornado "http://articulatesoftware.com/SUMOpictures/weather/ pictures/ tornado_1884.png") | pictureList.kif 789-789 | |
(subclass Tornado CyclonicStorm) | Weather.kif 1645-1645 | |
(subclass Tornado Storm) | Weather.kif 1644-1644 |
appearance as argument number 2 |
(termFormat ChineseLanguage Tornado "龙卷风") | domainEnglishFormat.kif 58472-58472 | |
(termFormat ChineseTraditionalLanguage Tornado "龍捲風") | domainEnglishFormat.kif 58471-58471 | |
(termFormat EnglishLanguage Tornado "tornado") | domainEnglishFormat.kif 58470-58470 |
antecedent |
consequent |
(=> (and (instance ?EF EFScaleAttribute) (property ?T ?EF)) (instance ?T Tornado)) |
Weather.kif 2086-2090 | |
(=> (instance ?TD TornadoDamage) (exists (?T ?D) (and (instance ?T Tornado) (instance ?D Damaging) (causes ?T ?D) (patient ?D ?TD)))) |
Weather.kif 2066-2073 |