![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Reforestation(reforestation)
| re-afforestation, reforestation |
| 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 |
|
|
| antecedent |
|
|
| (=> (instance ?RESTORE Reforestation) (exists (?TREE) (and (instance ?TREE BotanicalTree) (attribute ?TREE NonFullyFormed) (patient ?RESTORE ?TREE)))) |
Geography.kif 4024-4030 | 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 |