Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Dune
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Dune Hill) | Geography.kif 5889-5889 | Dune is a subclass of hill |
| (documentation Dune EnglishLanguage "A dune is a landform composed of Wind - or Water -driven Sand. It typically takes the form of a mound, ridge, or Hill. Dunes are most common in Desert environments, where the lack of moisture hinders the growth of vegetation that would otherwise interfere with the development of dunes. However, sand deposits are not restricted to deserts, and dunes are also found along sea ShoreAreas, along SteamWaterAreas in semiarid climates, in areas of glacial outwash, and in other areas where poorly cemented sandstone bedrock disintegrates to produce an ample supply of loose sand. Dunes are generally defined as greater than 7 cm tall [from Wikipedia].") | Geography.kif 5891-5898 | Dune is a subclass of hill |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Dune "dune") | Geography.kif 5899-5899 |
| antecedent |
|
|
| (=> (instance ?D Dune) (material Sand ?D)) |
Geography.kif 5901-5903 | If X is an instance of dune, then X is made of sand |
| (=> (and (instance ?D Dune) (height ?D (MeasureFn ?N Centimeter))) (greaterThan ?N 7.0)) |
Geography.kif 5905-5909 | If X is an instance of dune and the height of X is Y centimeter(s), then Y is greater than 7.0 |
|