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 2048-2049
(documentation TornadoDamage EnglishLanguage "TornadoDamage is the class of Objects, that are damaged by Tornados.") Weather.kif 2045-2046
(subclass TornadoDamage Object) Weather.kif 2051-2051

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


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

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


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


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