ForestDamage - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(subclass ForestFire ForestDamage)	Geography.kif 4152-4152	Forest fire is a subclass of forest damage
(subclass Deforestation ForestDamage)	Geography.kif 4153-4153	Deforestation is a subclass of forest damage
(termFormat EnglishLanguage ForestDamage "forest damage")	domainEnglishFormat.kif 24670-24670	Deforestation is a subclass of forest damage
(termFormat ChineseTraditionalLanguage ForestDamage "森林破壞")	domainEnglishFormat.kif 24671-24671	Deforestation is a subclass of forest damage
(termFormat ChineseLanguage ForestDamage "森林破坏")	domainEnglishFormat.kif 24672-24672	Deforestation is a subclass of forest damage

antecedent

(=>
    (instance ?HARMING ForestDamage)
    (exists (?TREE)
        (and
            (instance ?TREE BotanicalTree)
            (patient ?HARMING ?TREE))))

If X is an instance of forest damage, then there exists Y such that Y is an instance of botanical tree and Y is a patient of X