| 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 1908-1910 | |
| (instance FlatTerrain TerrainAttribute) | Geography.kif 1906-1906 | FlatTerrain は TerrainAttribute の instance では |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage FlatTerrain "平坦的地形") | domainEnglishFormat.kif 24205-24205 | |
| (termFormat ChineseTraditionalLanguage FlatTerrain "平坦的地形") | domainEnglishFormat.kif 24204-24204 | |
| (termFormat EnglishLanguage FlatTerrain "flat terrain") | domainEnglishFormat.kif 24203-24203 |
| antecedent |
|
|
| (=> (and (attribute ?AREA FlatTerrain) (part ?ZONE ?AREA) (slopeGradient ?ZONE ?SLOPE)) (greaterThan 0.005 ?SLOPE)) |
Geography.kif 1912-1917 |
| consequent |
|
|
| (=> (and (instance ?Mesa Mesa) (top ?Top ?Mesa)) (attribute ?Top FlatTerrain)) |
Geography.kif 4399-4403 |
|
| (=> (and (instance ?Plateau Plateau) (top ?Top ?Plateau)) (attribute ?Top FlatTerrain)) |
Geography.kif 4380-4384 |
|
| (=> (and (instance ?butte Butte) (top ?top ?butte)) (attribute ?top FlatTerrain)) |
Geography.kif 4422-4426 |
|
| (=> (instance ?Delta Delta) (attribute ?Delta FlatTerrain)) |
Geography.kif 6092-6094 | |
| (=> (instance ?plain Plain) (attribute ?plain FlatTerrain)) |
Geography.kif 4462-4464 |
|
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 3.0 is open source software produced by Articulate Software and its partners