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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SoilErosionIssue

 Sigma KEE - SoilErosionIssue
SoilErosionIssue(soil erosion issue)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 8722-8722
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9669-9669
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9670-9670
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9671-9671
No TPTP formula. May not be expressible in strict first order. Geography.kif 6827-6827 Soil erosion issue is an instance of soil quality issue

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53782-53782
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53781-53781
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53780-53780


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