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 2835-2838
(externalImage Erosion "http://upload.wikimedia.org/wikipedia/commons/0/ 04/ 12_Venus_Bay_32.JPG")	pictureList.kif 3074-3074
(externalImage Erosion "http://upload.wikimedia.org/wikipedia/commons/7/ 76/ Erosion_of_rocks%2C_Santorini.jpg")	pictureList.kif 3075-3075
(externalImage Erosion "http://upload.wikimedia.org/wikipedia/commons/7/ 7b/ Erosion.jpg")	pictureList.kif 2949-2949
(externalImage Erosion "http://upload.wikimedia.org/wikipedia/commons/c/ c7/ Sidari_Eroded_Rock.jpg")	pictureList.kif 3076-3076
(externalImage Erosion "http://upload.wikimedia.org/wikipedia/en/2/22/Bank_erosion_5790.JPG")	pictureList.kif 3073-3073
(subclass Erosion GeologicalProcess)	Geography.kif 2833-2833	Erosion is a subclass of geological process
(subclass Erosion Removing)	Geography.kif 2832-2832	Erosion is a subclass of removing

appearance as argument number 2

(subclass SoilErosion Erosion)	Geography.kif 3103-3103	Soil erosion is a subclass of erosion
(termFormat ChineseLanguage Erosion "侵蚀")	domainEnglishFormat.kif 22402-22402	Soil erosion is a subclass of erosion
(termFormat ChineseTraditionalLanguage Erosion "侵蝕")	domainEnglishFormat.kif 22401-22401	Soil erosion is a subclass of erosion
(termFormat EnglishLanguage Erosion "erosion")	domainEnglishFormat.kif 22400-22400	Soil erosion is a subclass of erosion

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 2847-2860	If a process is an instance of erosion and a physical is an instance of land form and the physical is a patient of the process and an unit of measure is an instance of unit of volume and the measure of the physical is a real number the unit of measure(s), then there exists an entity such that the measure of the physical is the entity the unit of measure(s) and the entity is less than the real number 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 2840-2845	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 4507-4512	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 6323-6328	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 3.0 is open source software produced by Articulate Software and its partners