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

appearance as argument number 2

(subclass SoilErosion Erosion)	Geography.kif 2945-2945	Soil erosion is a subclass of erosion
(termFormat ChineseLanguage Erosion "侵蚀")	domainEnglishFormat.kif 22414-22414	Soil erosion is a subclass of erosion
(termFormat ChineseTraditionalLanguage Erosion "侵蝕")	domainEnglishFormat.kif 22413-22413	Soil erosion is a subclass of erosion
(termFormat EnglishLanguage Erosion "erosion")	domainEnglishFormat.kif 22412-22412	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 2689-2702	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 2682-2687	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 4267-4272	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 6020-6025	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