TornadoDamage - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

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

antecedent

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

Weather.kif 3394-3401