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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 Erosion est une sous-classe de GeologicalProcess
(subclass Erosion Removing) Geography.kif 2674-2674 Erosion est une sous-classe de supprimer

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


(subclass SoilErosion Erosion) Geography.kif 2945-2945 SoilErosion est une sous-classe de Erosion
(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 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