| Forest
| |
| appearance as argument number 1 |
|
|
| (disjoint Forest Field) | Geography.kif 6422-6422 | |
| (documentation Forest EnglishLanguage "Forest is the class of large LandAreas that are covered by trees and associated undergrowth, either growing wild or managed for the purpose of timber production.") | Geography.kif 6423-6425 | |
| (externalImage Forest "http://upload.wikimedia.org/wikipedia/commons/7/72/ Forest_Samobor.JPG") | pictureList.kif 1478-1478 | |
| (subclass Forest LandArea) | Geography.kif 6421-6421 |
| appearance as argument number 2 |
|
|
| (subclass BorealForest Forest) | Geography.kif 6449-6449 | |
| (subclass RainForest Forest) | Geography.kif 6432-6432 | |
| (subclass TemperateHardwoodForest Forest) | Geography.kif 6446-6446 | |
| (termFormat ChineseLanguage Forest "森林") | domainEnglishFormat.kif 24690-24690 | |
| (termFormat ChineseTraditionalLanguage Forest "森林") | domainEnglishFormat.kif 24689-24689 | |
| (termFormat EnglishLanguage Forest "forest") | domainEnglishFormat.kif 24688-24688 |
| antecedent |
|
|
| (=> (instance ?FOREST Forest) (vegetationTypePattern ?FOREST BotanicalTree DenseVegetation)) |
Geography.kif 6427-6429 |
| consequent |
|
|
| (=> (and (instance ?P ForestProduct) (instance ?M Manufacture) (result ?M ?P) (patient ?M ?X) (instance ?X Organism)) (exists (?A ?F) (and (instance ?A Agriculture) (result ?A ?X) (eventLocated ?A ?F) (instance ?F Forest)))) |
Economy.kif 5545-5557 | |
| (=> (instance ?FIRE ForestFire) (exists (?FOREST) (and (instance ?FOREST Forest) (eventLocated ?FIRE ?FOREST) (patient ?FIRE ?FOREST)))) |
Geography.kif 2395-2401 |
|
|
|