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 2065-2066
(documentation TornadoDamage EnglishLanguage "TornadoDamage is the class of Objects, that are damaged by Tornados.") Weather.kif 2062-2063
(subclass TornadoDamage Object) Weather.kif 2068-2068

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


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

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


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


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