|
|
  FlatTerrain
|
|
|
| appearance as argument number 1 |
|
|
| (documentation FlatTerrain EnglishLanguage "FlatTerrain is a TerrainAttribute describing regions within which there is very little variation in altitude.") | Geography.kif 1750-1752 | |
| (instance FlatTerrain TerrainAttribute) | Geography.kif 1748-1748 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage FlatTerrain "平坦的地形") | domainEnglishFormat.kif 24200-24200 | |
| (termFormat ChineseTraditionalLanguage FlatTerrain "平坦的地形") | domainEnglishFormat.kif 24199-24199 | |
| (termFormat EnglishLanguage FlatTerrain "flat terrain") | domainEnglishFormat.kif 24198-24198 |
| antecedent |
|
|
| (=> (and (attribute ?AREA FlatTerrain) (part ?ZONE ?AREA) (slopeGradient ?ZONE ?SLOPE)) (greaterThan 0.005 ?SLOPE)) |
Geography.kif 1754-1759 |
| consequent |
|
|
| (=> (and (instance ?Mesa Mesa) (top ?Top ?Mesa)) (attribute ?Top FlatTerrain)) |
Geography.kif 4159-4163 | |
| (=> (and (instance ?Plateau Plateau) (top ?Top ?Plateau)) (attribute ?Top FlatTerrain)) |
Geography.kif 4140-4144 | |
| (=> (and (instance ?butte Butte) (top ?top ?butte)) (attribute ?top FlatTerrain)) |
Geography.kif 4182-4186 | |
| (=> (instance ?Delta Delta) (attribute ?Delta FlatTerrain)) |
Geography.kif 5789-5791 | |
| (=> (instance ?plain Plain) (attribute ?plain FlatTerrain)) |
Geography.kif 4222-4224 |
|
|
|