Reforestation - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Reforestation Planting)	Geography.kif 4019-4019	Reforestation is a subclass of planting
(documentation Reforestation EnglishLanguage "Reforestation is the process of replanting trees on land where they were cut or burned.")	Geography.kif 4021-4022	Reforestation is a subclass of planting
(externalImage Reforestation "http://upload.wikimedia.org/wikipedia/commons/ a/ ae/ Biodiversity_on_clearcut.jpg")	pictureList.kif 6813-6813	Reforestation is a subclass of planting
(externalImage Reforestation "http://upload.wikimedia.org/wikipedia/commons/ c/ c4/ RedPinePlantation.JPG")	pictureList.kif 7711-7711	Reforestation is a subclass of planting

appearance as argument number 2

(termFormat EnglishLanguage Reforestation "reforestation")	domainEnglishFormat.kif 49143-49143
(termFormat ChineseTraditionalLanguage Reforestation "造林")	domainEnglishFormat.kif 49144-49144
(termFormat ChineseLanguage Reforestation "造林")	domainEnglishFormat.kif 49145-49145

antecedent

(=>
    (instance ?RESTORE Reforestation)
    (exists (?TREE)
        (and
            (instance ?TREE BotanicalTree)
            (attribute ?TREE NonFullyFormed)
            (patient ?RESTORE ?TREE))))

If X is an instance of reforestation, then there exists Y such that Y is an instance of botanical tree, non fully formed is an attribute of Y, and Y is a patient of X