Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Erosion

Sigma KEE - Erosion
Erosion(侵蚀)
more pictures...

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 侵蚀地质过程subclass
(subclass Erosion Removing) Geography.kif 2674-2674 侵蚀移除subclass

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


(subclass SoilErosion Erosion) Geography.kif 2945-2945 水土流失侵蚀subclass
(termFormat ChineseLanguage Erosion "侵蚀") domainEnglishFormat.kif 22396-22396
(termFormat ChineseTraditionalLanguage Erosion "侵蝕") domainEnglishFormat.kif 22395-22395
(termFormat EnglishLanguage Erosion "erosion") domainEnglishFormat.kif 22394-22394

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

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


(=>
    (instance ?Canyon Canyon)
    (exists (?Erosion)
        (and
            (instance ?Erosion Erosion)
            (result ?Erosion ?Canyon))))
Geography.kif 4267-4272
(=>
    (instance ?Cave Cave)
    (exists (?Erosion)
        (and
            (instance ?Erosion Erosion)
            (result ?Erosion ?Cave))))
Geography.kif 6020-6025


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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