Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   LandForm
|
|
|
| appearance as argument number 1 |
|
|
| (subclass LandForm GeographicArea) | Merge.kif 14362-14362 | Land form is a subclass of geographic area |
| (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.") | Merge.kif 14363-14365 | Land form is a subclass of geographic area |
| 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 3373-3381 | If X Y(s) is an elevation of Z, Y is an instance of unit of length, and Z is an instance of land form, then there exists W such that the top of Z is W and the distance between W and sea level is X Y(s) |
| (=> (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 4125-4138 | If X is an instance of erosion, Y is an instance of land form, Y is a patient of X, Z is an instance of unit of volume, and the measure of Y is W Z(s), then there exists V such that the measure of Y is V Z(s) and V is less than W holds during immediately after the time of existence of X |
| consequent |
|
|
| (=> (instance ?WEARING Erosion) (exists (?LAND) (and (patient ?WEARING ?LAND) (instance ?LAND LandForm)))) |
Geography.kif 4118-4123 | If X is an instance of erosion, then there exists Y such that Y is a patient of X and Y is an instance of land form |
| (=> (instance ?LAND Shoal) (exists (?PART ?WATER) (and (instance ?PART LandForm) (most ?PART ?LAND) (instance ?WATER BodyOfWater) (covers ?WATER ?PART)))) |
Geography.kif 7520-7527 | If X is an instance of shoal, then there exist Y, Z such that Y is an instance of land form, Y is most of X, Z is an instance of body of water, and Z covers Y |
|