| SteepTerrain | |
| appearance as argument number 1 |
|
|
| (documentation SteepTerrain EnglishLanguage "A TerrainAttribute of a region in which there is a wide variation in elevation and slopeGradients of more than 10%.") | Geography.kif 1763-1765 | |
| (instance SteepTerrain TerrainAttribute) | Geography.kif 1761-1761 |
| appearance as argument number 2 |
|
|
| (subAttribute MountainousTerrain SteepTerrain) | Geography.kif 1776-1776 | |
| (termFormat ChineseLanguage SteepTerrain "陡峭的地形") | domainEnglishFormat.kif 55288-55288 | |
| (termFormat ChineseTraditionalLanguage SteepTerrain "陡峭的地形") | domainEnglishFormat.kif 55287-55287 | |
| (termFormat EnglishLanguage SteepTerrain "steep terrain") | domainEnglishFormat.kif 55286-55286 |
| antecedent |
|
|
| (=> (attribute ?AREA SteepTerrain) (exists (?ZONE ?SLOPE) (and (part ?ZONE ?AREA) (slopeGradient ?ZONE ?SLOPE) (greaterThan ?SLOPE 0.1)))) |
Geography.kif 1767-1773 |
| consequent |
|
|
| (=> (and (instance ?Mesa Mesa) (side ?Side ?Mesa)) (attribute ?Side SteepTerrain)) |
Geography.kif 4235-4239 | |
| (=> (and (instance ?butte Butte) (side ?side ?butte)) (attribute ?side SteepTerrain)) |
Geography.kif 4246-4250 | |
| (=> (instance ?Mountain Mountain) (exists (?Incline) (and (instance ?Incline SlopedArea) (attribute ?Incline SteepTerrain) (part ?Incline ?Mountain)))) |
Geography.kif 4102-4108 | |
| (=> (instance ?plateau Plateau) (exists (?slope) (and (instance ?slope SlopedArea) (attribute ?slope SteepTerrain) (overlapsSpatially ?slope ?plateau)))) |
Geography.kif 4216-4222 |
|
|
|