Erosion - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Erosion

Erosion(erosion)

more pictures...

ablation, beach_erosion, deflation, eating_away, eroding, erosion, planation, soil_erosion, wearing, wearing_away

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 2618-2621
(externalImage Erosion "http://upload.wikimedia.org/wikipedia/commons/0/ 04/ 12_Venus_Bay_32.JPG")	pictureList.kif 3076-3076
(externalImage Erosion "http://upload.wikimedia.org/wikipedia/commons/7/ 76/ Erosion_of_rocks%2C_Santorini.jpg")	pictureList.kif 3077-3077
(externalImage Erosion "http://upload.wikimedia.org/wikipedia/commons/7/ 7b/ Erosion.jpg")	pictureList.kif 2951-2951
(externalImage Erosion "http://upload.wikimedia.org/wikipedia/commons/c/ c7/ Sidari_Eroded_Rock.jpg")	pictureList.kif 3078-3078
(externalImage Erosion "http://upload.wikimedia.org/wikipedia/en/2/22/Bank_erosion_5790.JPG")	pictureList.kif 3075-3075
(subclass Erosion GeologicalProcess)	Geography.kif 2616-2616	Erosion is a subclass of geological process
(subclass Erosion Removing)	Geography.kif 2615-2615	Erosion is a subclass of removing

appearance as argument number 2

(subclass SoilErosion Erosion)	Geography.kif 2804-2804	Soil erosion is a subclass of erosion
(termFormat ChineseLanguage Erosion "侵蚀")	domainEnglishFormat.kif 22321-22321
(termFormat ChineseTraditionalLanguage Erosion "侵蝕")	domainEnglishFormat.kif 22320-22320
(termFormat EnglishLanguage Erosion "erosion")	domainEnglishFormat.kif 22319-22319

antecedent

(=> (and (instance ?WEARING Erosion) (instance ?LAND LandForm) (patient ?WEARING ?LAND) (measure ?LAND ?SIZE1) (instance ?SIZE1 VolumeMeasure)) (holdsDuring (ImmediateFutureFn (WhenFn ?WEARING)) (exists (?SIZE2) (and (measure ?LAND ?SIZE2) (instance ?SIZE2 VolumeMeasure) (lessThan ?SIZE2 ?SIZE1)))))	Geography.kif 2630-2642	If a process is an instance of erosion and an object is an instance of land form and the object is a patient of the process and the measure of the object is a physical quantity and the physical quantity is an instance of volume measure, then there exists an entity such that the measure of the object is the entity and the entity is an instance of volume measure and the entity is less than the physical quantity holds during immediately after the time of existence of the process
(=> (instance ?WEARING Erosion) (exists (?LAND) (and (patient ?WEARING ?LAND) (instance ?LAND LandForm))))	Geography.kif 2623-2628	If a process is an instance of erosion, then there exists an entity such that the entity is a patient of the process and the entity is an instance of land form

consequent

(=> (instance ?Canyon Canyon) (exists (?Erosion) (and (instance ?Erosion Erosion) (result ?Erosion ?Canyon))))	Geography.kif 4046-4051	If an entity is an instance of canyon, then there exists a process such that the process is an instance of erosion and the entity is a result of the process
(=> (instance ?Cave Cave) (exists (?Erosion) (and (instance ?Erosion Erosion) (result ?Erosion ?Cave))))	Geography.kif 5617-5622	If an entity is an instance of cave, then there exists a process such that the process is an instance of erosion and the entity is a result of the process

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners