![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| DenseVegetation(dense vegetation) |
| appearance as argument number 1 |
|
|
| (instance DenseVegetation LandVegetationAttribute) | Geography.kif 7834-7834 | Dense vegetation is an instance of land vegetation attribute |
| (documentation DenseVegetation EnglishLanguage "DenseVegetation describes the density of vegetation in a Forest.") | Geography.kif 7836-7837 | Dense vegetation is an instance of land vegetation attribute |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (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 |
| (=> (instance ?FOREST Jungle) (vegetationTypePattern ?FOREST Plant DenseVegetation)) |
Geography.kif 8233-8235 | If X is an instance of jungle, then X is vegetation type pattern plant for dense vegetation |
| (=> (instance ?SWAMP Swamp) (vegetationTypePattern ?SWAMP Grass DenseVegetation)) |
Geography.kif 8245-8247 | If X is an instance of swamp, then X is vegetation type pattern grass plant for dense vegetation |