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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SoilDegradationIssue

Sigma KEE - SoilDegradationIssue
SoilDegradationIssue(soil degradation issue)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 6828-6828 Soil degradation issue is an instance of soil quality issue

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6869-6869 Soil salinity issue is a subattribute of soil degradation issue
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53768-53768
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53767-53767
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53766-53766


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