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
(=>
    (instance ?WEARING Erosion)
    (exists (?LAND)
        (and
            (patient ?WEARING ?LAND)
            (instance ?LAND LandForm))))
Geography.kif 2623-2628

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


(=>
    (instance ?Canyon Canyon)
    (exists (?Erosion)
        (and
            (instance ?Erosion Erosion)
            (result ?Erosion ?Canyon))))
Geography.kif 4046-4051
(=>
    (instance ?Cave Cave)
    (exists (?Erosion)
        (and
            (instance ?Erosion Erosion)
            (result ?Erosion ?Cave))))
Geography.kif 5617-5622


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