| LandForm | |
| appearance as argument number 1 |
|
|
| (documentation LandForm EnglishLanguage "A LandForm is the class of geographically and/ or geologically distinct areas that occur on Earth's surface, including mountains, hills, plains, valleys, deltas, and features of submerged land areas such as the ocean floor.") | Geography.kif 4216-4218 | |
| (subclass LandForm GeographicArea) | Geography.kif 4215-4215 | LandForm は 地理的地域 の subclass では |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (elevation ?OBJECT (MeasureFn ?NUM ?UNIT)) (instance ?UNIT UnitOfLength) (instance ?OBJECT LandForm)) (exists (?HIGHPOINT) (and (top ?HIGHPOINT ?OBJECT) (distance ?HIGHPOINT SeaLevel (MeasureFn ?NUM ?UNIT))))) |
Geography.kif 2080-2088 |
|
| (=> (and (instance ?WEARING Erosion) (instance ?LAND LandForm) (patient ?WEARING ?LAND) (instance ?U UnitOfVolume) (measure ?LAND (MeasureFn ?SIZE1 ?U))) (holdsDuring (ImmediateFutureFn (WhenFn ?WEARING)) (exists (?SIZE2) (and (measure ?LAND (MeasureFn ?SIZE2 ?U)) (lessThan ?SIZE2 ?SIZE1))))) |
Geography.kif 2847-2860 |
| consequent |
|
|
| (=> (instance ?LAND Shoal) (exists (?PART ?WATER) (and (instance ?PART LandForm) (most ?PART ?LAND) (instance ?WATER BodyOfWater) (covers ?WATER ?PART)))) |
Geography.kif 6223-6230 | |
| (=> (instance ?WEARING Erosion) (exists (?LAND) (and (patient ?WEARING ?LAND) (instance ?LAND LandForm)))) |
Geography.kif 2840-2845 |
|
|
|