Erosion
|
|
appearance as argument number 1 |
(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 2677-2680 | |
(externalImage Erosion "http://upload.wikimedia.org/wikipedia/commons/0/ 04/ 12_Venus_Bay_32.JPG") | pictureList.kif 3075-3075 | |
(externalImage Erosion "http://upload.wikimedia.org/wikipedia/commons/7/ 76/ Erosion_of_rocks%2C_Santorini.jpg") | pictureList.kif 3076-3076 | |
(externalImage Erosion "http://upload.wikimedia.org/wikipedia/commons/7/ 7b/ Erosion.jpg") | pictureList.kif 2950-2950 | |
(externalImage Erosion "http://upload.wikimedia.org/wikipedia/commons/c/ c7/ Sidari_Eroded_Rock.jpg") | pictureList.kif 3077-3077 | |
(externalImage Erosion "http://upload.wikimedia.org/wikipedia/en/2/22/Bank_erosion_5790.JPG") | pictureList.kif 3074-3074 | |
(subclass Erosion GeologicalProcess) | Geography.kif 2675-2675 | 侵蚀 是 地质过程 的 subclass |
(subclass Erosion Removing) | Geography.kif 2674-2674 | 侵蚀 是 移除 的 subclass |
appearance as argument number 2 |
(subclass SoilErosion Erosion) | Geography.kif 2945-2945 | 水土流失 是 侵蚀 的 subclass |
(termFormat ChineseLanguage Erosion "侵蚀") | domainEnglishFormat.kif 22396-22396 | |
(termFormat ChineseTraditionalLanguage Erosion "侵蝕") | domainEnglishFormat.kif 22395-22395 | |
(termFormat EnglishLanguage Erosion "erosion") | domainEnglishFormat.kif 22394-22394 |
antecedent |
(=> (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 2689-2702 | |
(=> (instance ?WEARING Erosion) (exists (?LAND) (and (patient ?WEARING ?LAND) (instance ?LAND LandForm)))) |
Geography.kif 2682-2687 |
consequent |
(=> (instance ?Canyon Canyon) (exists (?Erosion) (and (instance ?Erosion Erosion) (result ?Erosion ?Canyon)))) |
Geography.kif 4267-4272 | |
(=> (instance ?Cave Cave) (exists (?Erosion) (and (instance ?Erosion Erosion) (result ?Erosion ?Cave)))) |
Geography.kif 6020-6025 |