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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ForestDamage
ForestDamage(forest damage)

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


(externalImage ForestDamage "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2b/ Piney_Woods_deforestation_5.JPG") pictureList.kif 6558-6558
(externalImage ForestDamage "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8f/ Lacanja_burn.JPG") pictureList.kif 6556-6556
(externalImage ForestDamage "http://upload.wikimedia.org/wikipedia/commons/ a/ a3/ Dead_tree.JPG") pictureList.kif 6028-6028
(externalImage ForestDamage "http://upload.wikimedia.org/wikipedia/commons/ d/ db/ Zrywka_drewna_776.jpg") pictureList.kif 6557-6557
(subclass ForestDamage Damaging) Geography.kif 2873-2873 Forest damage is a subclass of damaging

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


(subclass Deforestation ForestDamage) Geography.kif 2875-2875 Deforestation is a subclass of forest damage
(subclass ForestFire ForestDamage) Geography.kif 2874-2874 Forest fire is a subclass of forest damage
(termFormat ChineseLanguage ForestDamage "森林破坏") domainEnglishFormat.kif 24679-24679 Forest fire is a subclass of forest damage
(termFormat ChineseTraditionalLanguage ForestDamage "森林破壞") domainEnglishFormat.kif 24678-24678 Forest fire is a subclass of forest damage
(termFormat EnglishLanguage ForestDamage "forest damage") domainEnglishFormat.kif 24677-24677 Forest fire is a subclass of forest damage

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


(=>
    (instance ?HARMING ForestDamage)
    (exists (?TREE)
        (and
            (instance ?TREE BotanicalTree)
            (patient ?HARMING ?TREE))))
Geography.kif 2877-2882


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