![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
UplandArea
|
|
|
| appearance as argument number 1 |
|
|
| (subclass UplandArea LandForm) | Geography.kif 5493-5493 | Upland area is a subclass of land form |
| (documentation UplandArea EnglishLanguage "An UplandArea is a LandArea elevated above the surrounding terrain.") | Geography.kif 5494-5495 | Upland area is a subclass of land form |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (attribute ?AREA MountainousTerrain) (instance ?AREA UplandArea)) |
Geography.kif 3248-3250 | If mountainous terrain is an attribute of X, then X is an instance of upland area |