Thunderstorm(thunderstorm)![]() ![]() | ![]() | electric_storm, electrical_storm, thunderstorm |
appearance as argument number 1 |
![]() |
(documentation Thunderstorm EnglishLanguage "A Thunderstorm, also known as an electrical storm or a lightning storm, is a storm characterized by the presence of Lightning and its acoustic effect on the Earth's atmosphere, known as Thunder. [Wikipedia]") | Weather.kif 935-938 | |
(externalImage Thunderstorm "http://articulatesoftware.com/SUMOpictures/ weather/ pictures/ thunderstorm_1.png") | pictureList.kif 780-780 | |
(externalImage Thunderstorm "http://upload.wikimedia.org/wikipedia/commons/ d/ da/ Rolling_thunder_cloud.jpg") | pictureList.kif 1977-1977 | |
(subclass Thunderstorm Storm) | Weather.kif 934-934 | Thunderstorm is a subclass of storm |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Thunderstorm "雷暴") | domainEnglishFormat.kif 57982-57982 | |
(termFormat ChineseTraditionalLanguage Thunderstorm "雷暴") | domainEnglishFormat.kif 57981-57981 | |
(termFormat EnglishLanguage Thunderstorm "thunderstorm") | domainEnglishFormat.kif 57980-57980 |
antecedent |
![]() |
(=> (instance ?TS Thunderstorm) (holdsDuring (WhenFn ?TS) (exists (?L ?T) (and (instance ?L Lightning) (subProcess ?L ?TS) (instance ?T Thunder) (subProcess ?T ?TS))))) |
Weather.kif 940-949 |
|
consequent |
![]() |
(=> (instance ?HABOOB Haboob) (exists (?TS ?DM ?A) (and (instance ?TS Thunderstorm) (instance ?DM MotionDownward) (instance ?A Air) (patient ?DM ?A) (subProcess ?DM ?TS) (causes ?DM ?HABOOB)))) |
Weather.kif 2034-2043 |
|
(=> (instance ?W FairWeatherWaterspout) (not (exists (?T) (and (instance ?T Thunderstorm) (causes ?T ?W))))) |
Weather.kif 1057-1063 |
|
![]() |
![]() |