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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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


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

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

Show without tree

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