| UplandArea | |
| appearance as argument number 1 |
|
|
| (documentation UplandArea EnglishLanguage "An UplandArea is a LandArea elevated above the surrounding terrain.") | Geography.kif 3981-3982 | |
| (subclass UplandArea LandForm) | Geography.kif 3980-3980 | UplandArea est une sous-classe de LandForm |
| appearance as argument number 2 |
|
|
| (subclass Butte UplandArea) | Geography.kif 4171-4171 | Butte est une sous-classe de UplandArea |
| (subclass Hill UplandArea) | Geography.kif 4044-4044 | Hill est une sous-classe de UplandArea |
| (subclass Mesa UplandArea) | Geography.kif 4155-4155 | Mesa est une sous-classe de UplandArea |
| (subclass Mountain UplandArea) | Geography.kif 4027-4027 | Mountain est une sous-classe de UplandArea |
| (subclass MountainRange UplandArea) | Geography.kif 4013-4013 | MountainRange est une sous-classe de UplandArea |
| (subclass Plateau UplandArea) | Geography.kif 4136-4136 | Plateau est une sous-classe de UplandArea |
| (subclass WatershedDivide UplandArea) | Geography.kif 4093-4093 | WatershedDivide est une sous-classe de UplandArea |
| (termFormat ChineseLanguage UplandArea "高地地区") | domainEnglishFormat.kif 60620-60620 | |
| (termFormat ChineseTraditionalLanguage UplandArea "高地地區") | domainEnglishFormat.kif 60619-60619 | |
| (termFormat EnglishLanguage UplandArea "upland area") | domainEnglishFormat.kif 60618-60618 |
| consequent |
|
|
| (=> (attribute ?AREA MountainousTerrain) (instance ?AREA UplandArea)) |
Geography.kif 1797-1799 |
|
|
|
|