| 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 1703-1705 | |
| (instance FlatTerrain TerrainAttribute) | Geography.kif 1701-1701 | instance FlatTerrain and TerrainAttribute |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage FlatTerrain "平坦的地形") | domainEnglishFormat.kif 24127-24127 | |
| (termFormat ChineseTraditionalLanguage FlatTerrain "平坦的地形") | domainEnglishFormat.kif 24126-24126 | |
| (termFormat EnglishLanguage FlatTerrain "flat terrain") | domainEnglishFormat.kif 24125-24125 |
| antecedent |
|
|
| (=> (and (attribute ?AREA FlatTerrain) (part ?ZONE ?AREA) (slopeGradient ?ZONE ?SLOPE)) (greaterThan 0.005 ?SLOPE)) |
Geography.kif 1707-1712 |
|
| consequent |
|
|
| (=> (and (instance ?Mesa Mesa) (top ?Top ?Mesa)) (attribute ?Top FlatTerrain)) |
Geography.kif 3946-3950 | |
| (=> (and (instance ?Plateau Plateau) (top ?Top ?Plateau)) (attribute ?Top FlatTerrain)) |
Geography.kif 3927-3931 | |
| (=> (and (instance ?butte Butte) (top ?top ?butte)) (attribute ?top FlatTerrain)) |
Geography.kif 3969-3973 | |
| (=> (instance ?Delta Delta) (attribute ?Delta FlatTerrain)) |
Geography.kif 5465-5467 | |
| (=> (instance ?plain Plain) (attribute ?plain FlatTerrain)) |
Geography.kif 4007-4009 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners