Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Erosion
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Erosion Removing) | Geography.kif 4110-4110 | Erosion is a subclass of removing |
| (subclass Erosion GeologicalProcess) | Geography.kif 4111-4111 | Erosion is a subclass of geological process |
| (documentation Erosion EnglishLanguage "Erosion is a wearing process on LandForms by wind, running water, ice, heat, and other processes, in which rock and soil material are removed from one area and deposited elsewhere.") | Geography.kif 4113-4116 | Erosion is a subclass of geological process |
| (externalImage Erosion "http://upload.wikimedia.org/wikipedia/commons/7/ 7b/ Erosion.jpg") | pictureList.kif 2949-2949 | Erosion is a subclass of geological process |
| (externalImage Erosion "http://upload.wikimedia.org/wikipedia/en/2/22/Bank_erosion_5790.JPG") | pictureList.kif 3073-3073 | Erosion is a subclass of geological process |
| (externalImage Erosion "http://upload.wikimedia.org/wikipedia/commons/0/ 04/ 12_Venus_Bay_32.JPG") | pictureList.kif 3074-3074 | Erosion is a subclass of geological process |
| (externalImage Erosion "http://upload.wikimedia.org/wikipedia/commons/7/ 76/ Erosion_of_rocks%2C_Santorini.jpg") | pictureList.kif 3075-3075 | Erosion is a subclass of geological process |
| (externalImage Erosion "http://upload.wikimedia.org/wikipedia/commons/c/ c7/ Sidari_Eroded_Rock.jpg") | pictureList.kif 3076-3076 | Erosion is a subclass of geological process |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |
| (=> (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 ?Canyon Canyon) (exists (?Erosion) (and (instance ?Erosion Erosion) (result ?Erosion ?Canyon)))) |
Geography.kif 5771-5776 | If X is an instance of canyon, then there exists Y such that Y is an instance of erosion and X is a result of Y |
| (=> (instance ?Cave Cave) (exists (?Erosion) (and (instance ?Erosion Erosion) (result ?Erosion ?Cave)))) |
Geography.kif 7620-7625 | If X is an instance of cave, then there exists Y such that Y is an instance of erosion and X is a result of Y |
|
