TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

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

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