Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TornadoDamage
TornadoDamage

appearance as argument number 1
-------------------------


(documentation TornadoDamage ChineseLanguage "TornadoDamage(龙卷风损害)是一个受 Tornados (龙卷风)损害的 Object (物质)类别。") Weather.kif 2058-2059
(documentation TornadoDamage EnglishLanguage "TornadoDamage is the class of Objects, that are damaged by Tornados.") Weather.kif 2055-2056
(subclass TornadoDamage Object) Weather.kif 2061-2061

appearance as argument number 2
-------------------------


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

antecedent
-------------------------


(=>
    (instance ?TD TornadoDamage)
    (exists (?T ?D)
        (and
            (instance ?T Tornado)
            (instance ?D Damaging)
            (causes ?T ?D)
            (patient ?D ?TD))))
Weather.kif 2063-2070


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners