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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Salination

 Sigma KEE - Salination
Salination(salinifying)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2896-2898
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6833-6833
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7775-7775
No TPTP formula. May not be expressible in strict first order. Geography.kif 2893-2893 Salinifying is a subclass of combining
No TPTP formula. May not be expressible in strict first order. Geography.kif 2894-2894 Salinifying is a subclass of natural process

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


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

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2900-2905

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2911-2913
No TPTP formula. May not be expressible in strict first order. Geography.kif 2907-2909


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