Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Forest
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Forest LandArea) | Geography.kif 7977-7977 | Forest is a subclass of land area |
| (disjoint Forest Field) | Geography.kif 7978-7978 | Forest is disjoint from field |
| (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 7979-7981 | Forest is disjoint from field |
| (externalImage Forest "http://upload.wikimedia.org/wikipedia/commons/7/72/ Forest_Samobor.JPG") | pictureList.kif 1478-1478 | Forest is disjoint from field |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?FOREST Forest) (vegetationTypePattern ?FOREST BotanicalTree DenseVegetation)) |
Geography.kif 7983-7985 | If X is an instance of forest, then X is vegetation type pattern botanical tree for dense vegetation |
| 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 5559-5571 | If X is an instance of forest product, Y is an instance of manufacture, X is a result of Y, Z is a patient of Y, and Z is an instance of organism, then there exist W, V such that W is an instance of agriculture, Z is a result of W, W is located at V, and V is an instance of forest |
| (=> (instance ?FIRE ForestFire) (exists (?FOREST) (and (instance ?FOREST Forest) (eventLocated ?FIRE ?FOREST) (patient ?FIRE ?FOREST)))) |
Geography.kif 3862-3868 | If X is an instance of forest fire, then there exists Y such that Y is an instance of forest, X is located at Y, and Y is a patient of X |
|
