Tornado
|
|
appearance as argument number 1 |
(documentation Tornado ChineseLanguage "Tornado 是一团从积雨云底部延伸到地面, 快速旋转的空气 Air。") | Weather.kif 1629-1630 | |
(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 1627-1628 | |
(externalImage Tornado "http://articulatesoftware.com/SUMOpictures/weather/ pictures/ tornado_1884.png") | pictureList.kif 789-789 | |
(subclass Tornado CyclonicStorm) | Weather.kif 1632-1632 | |
(subclass Tornado Storm) | Weather.kif 1631-1631 |
appearance as argument number 2 |
(termFormat ChineseLanguage Tornado "龙卷风") | domainEnglishFormat.kif 58516-58516 | |
(termFormat ChineseTraditionalLanguage Tornado "龍捲風") | domainEnglishFormat.kif 58515-58515 | |
(termFormat EnglishLanguage Tornado "tornado") | domainEnglishFormat.kif 58514-58514 |
antecedent |
consequent |
(=> (and (instance ?EF EFScaleAttribute) (property ?T ?EF)) (instance ?T Tornado)) |
Weather.kif 2073-2077 | |
(=> (instance ?TD TornadoDamage) (exists (?T ?D) (and (instance ?T Tornado) (instance ?D Damaging) (causes ?T ?D) (patient ?D ?TD)))) |
Weather.kif 2053-2060 |