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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SoilSalination

Sigma KEE - SoilSalination
SoilSalination(soil salination)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2952-2952 Soil salination is a subclass of salinifying

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53812-53812
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53811-53811
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53810-53810

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2954-2959


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