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
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 2677-2680
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3075-3075
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3076-3076
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2950-2950
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3077-3077
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3074-3074
No TPTP formula. May not be expressible in strict first order. Geography.kif 2675-2675 Erosion is a subclass of geological process
No TPTP formula. May not be expressible in strict first order. Geography.kif 2674-2674 Erosion is a subclass of removing

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2945-2945 Soil erosion is a subclass of erosion
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22396-22396
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22395-22395
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22394-22394

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 2689-2702
No TPTP formula. May not be expressible in strict first order. Geography.kif 2682-2687

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4267-4272
No TPTP formula. May not be expressible in strict first order. 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