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 1775-1777 | |
(instance SteepTerrain TerrainAttribute) | Geography.kif 1773-1773 |
appearance as argument number 2 |
(subAttribute MountainousTerrain SteepTerrain) | Geography.kif 1788-1788 | |
(termFormat ChineseLanguage SteepTerrain "陡峭的地形") | domainEnglishFormat.kif 55286-55286 | |
(termFormat ChineseTraditionalLanguage SteepTerrain "陡峭的地形") | domainEnglishFormat.kif 55285-55285 | |
(termFormat EnglishLanguage SteepTerrain "steep terrain") | domainEnglishFormat.kif 55284-55284 |
antecedent |
(=> (attribute ?AREA SteepTerrain) (exists (?ZONE ?SLOPE) (and (part ?ZONE ?AREA) (slopeGradient ?ZONE ?SLOPE) (greaterThan ?SLOPE 0.1)))) |
Geography.kif 1779-1785 |
consequent |
(=> (and (instance ?Mesa Mesa) (side ?Side ?Mesa)) (attribute ?Side SteepTerrain)) |
Geography.kif 4165-4169 | |
(=> (and (instance ?butte Butte) (side ?side ?butte)) (attribute ?side SteepTerrain)) |
Geography.kif 4176-4180 | |
(=> (instance ?Mountain Mountain) (exists (?Incline) (and (instance ?Incline SlopedArea) (attribute ?Incline SteepTerrain) (part ?Incline ?Mountain)))) |
Geography.kif 4032-4038 | |
(=> (instance ?plateau Plateau) (exists (?slope) (and (instance ?slope SlopedArea) (attribute ?slope SteepTerrain) (overlapsSpatially ?slope ?plateau)))) |
Geography.kif 4146-4152 |