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 2665-2668
(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 2663-2663	Erosion is a subclass of geological process
(subclass Erosion Removing)	Geography.kif 2662-2662	Erosion is a subclass of removing

appearance as argument number 2

(subclass SoilErosion Erosion)	Geography.kif 2933-2933	Soil erosion is a subclass of erosion
(termFormat ChineseLanguage Erosion "侵蚀")	domainEnglishFormat.kif 22408-22408	Soil erosion is a subclass of erosion
(termFormat ChineseTraditionalLanguage Erosion "侵蝕")	domainEnglishFormat.kif 22407-22407	Soil erosion is a subclass of erosion
(termFormat EnglishLanguage Erosion "erosion")	domainEnglishFormat.kif 22406-22406	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 2677-2690	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 2670-2675	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 4336-4341	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 6089-6094	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