TornadoDamage - Sigma Knowledge base Browser

appearance as argument number 1

(documentation TornadoDamage EnglishLanguage "TornadoDamage is the class of Objects, that are damaged by Tornados.")	Weather.kif 3373-3374
(documentation TornadoDamage ChineseLanguage "TornadoDamage（龙卷风损害）是一个受 Tornados （龙卷风）损害的 Object （物质）类别。")	Weather.kif 3376-3377
(subclass TornadoDamage Object)	Weather.kif 3379-3379	Tornado damage is a subclass of object

appearance as argument number 2

(termFormat EnglishLanguage TornadoDamage "tornado damage")	Weather.kif 3375-3375
(termFormat ChineseLanguage TornadoDamage "龙卷风损害")	Weather.kif 3378-3378

antecedent

(=>
    (instance ?TD TornadoDamage)
    (exists (?T ?D)
        (and
            (instance ?T Tornado)
            (instance ?D Damaging)
            (causes ?T ?D)
            (patient ?D ?TD))))

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