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

appearance as argument number 2
-------------------------


(subclass SoilErosion Erosion) Geography.kif 2867-2867 Soil erosion is a subclass of erosion
(termFormat ChineseLanguage Erosion "侵蚀") domainEnglishFormat.kif 22389-22389
(termFormat ChineseTraditionalLanguage Erosion "侵蝕") domainEnglishFormat.kif 22388-22388
(termFormat EnglishLanguage Erosion "erosion") domainEnglishFormat.kif 22387-22387

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 2692-2705
(=>
    (instance ?WEARING Erosion)
    (exists (?LAND)
        (and
            (patient ?WEARING ?LAND)
            (instance ?LAND LandForm))))
Geography.kif 2685-2690

consequent
-------------------------


(=>
    (instance ?Canyon Canyon)
    (exists (?Erosion)
        (and
            (instance ?Erosion Erosion)
            (result ?Erosion ?Canyon))))
Geography.kif 4189-4194
(=>
    (instance ?Cave Cave)
    (exists (?Erosion)
        (and
            (instance ?Erosion Erosion)
            (result ?Erosion ?Cave))))
Geography.kif 5917-5922


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