| Forest
| |
| appearance as argument number 1 |
|
|
| (disjoint Forest Field) | Geography.kif 6423-6423 | |
| (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 6424-6426 | |
| (externalImage Forest "http://upload.wikimedia.org/wikipedia/commons/7/72/ Forest_Samobor.JPG") | pictureList.kif 1478-1478 | |
| (subclass Forest LandArea) | Geography.kif 6422-6422 |
| appearance as argument number 2 |
|
|
| (subclass BorealForest Forest) | Geography.kif 6450-6450 | |
| (subclass RainForest Forest) | Geography.kif 6433-6433 | |
| (subclass TemperateHardwoodForest Forest) | Geography.kif 6447-6447 | |
| (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 6428-6430 |
| 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 5551-5563 | |
| (=> (instance ?FIRE ForestFire) (exists (?FOREST) (and (instance ?FOREST Forest) (eventLocated ?FIRE ?FOREST) (patient ?FIRE ?FOREST)))) |
Geography.kif 2395-2401 |
|
|
|