Thunder - Sigma Knowledge base Browser

antecedent

(=>
    (instance ?T Thunder)
    (exists (?L)
        (and
            (instance ?L Lightning)
            (causes ?L ?T))))

If X is an instance of thunder, then there exists Y such that Y is an instance of lightning and Y causes X

consequent

(=>
    (instance ?TS Thunderstorm)
    (holdsDuring
        (WhenFn ?TS)
        (exists (?L ?T)
            (and
                (instance ?L Lightning)
                (subProcess ?L ?TS)
                (instance ?T Thunder)
                (subProcess ?T ?TS)))))

If X is an instance of thunderstorm, then there exist Y, Z such that Y is an instance of lightning, Y is a subprocess of X, Z is an instance of thunder, and Z is a subprocess of X holds during the time of existence of X

(subclass Thunder WeatherProcess)	Weather.kif 1455-1455	Thunder is a subclass of weather process
(subclass Thunder RadiatingSound)	Weather.kif 1456-1456	Thunder is a subclass of radiating sound
(documentation Thunder EnglishLanguage "Any instance of RadiatingSound which is caused by an instance of Lightning.")	Weather.kif 1457-1458	Thunder is a subclass of radiating sound
(externalImage Thunder "http://articulatesoftware.com/SUMOpictures/weather/ thunder.png")	pictureList.kif 779-779	Thunder is a subclass of radiating sound

(termFormat EnglishLanguage Thunder "thunder")	domainEnglishFormat.kif 57967-57967
(termFormat ChineseTraditionalLanguage Thunder "雷")	domainEnglishFormat.kif 57968-57968
(termFormat ChineseLanguage Thunder "雷")	domainEnglishFormat.kif 57969-57969