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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Salination
Salination

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


(documentation Salination EnglishLanguage "Salination is the class of processes in which either FreshWater or Topsoil becomes imbued with SodiumChloride from sea water or from the evaporation of irrigation water.") Geography.kif 2896-2898
(externalImage Salination "http://upload.wikimedia.org/wikipedia/commons/ b/ b0/ Salinity.jpg") pictureList.kif 6833-6833
(externalImage Salination "http://upload.wikimedia.org/wikipedia/commons/ b/ b8/ Salinity_from_irrigation.png") pictureList.kif 7775-7775
(subclass Salination Combining) Geography.kif 2893-2893 Salination est une sous-classe de combiner
(subclass Salination NaturalProcess) Geography.kif 2894-2894 Salination est une sous-classe de NaturalProcess

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


(subclass SoilSalination Salination) Geography.kif 2952-2952 SoilSalination est une sous-classe de Salination
(termFormat ChineseLanguage Salination "盐碱") domainEnglishFormat.kif 50931-50931
(termFormat ChineseTraditionalLanguage Salination "鹽鹼") domainEnglishFormat.kif 50930-50930
(termFormat EnglishLanguage Salination "salinifying") domainEnglishFormat.kif 50929-50929

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


(=>
    (instance ?PROCESS Salination)
    (exists (?SALT)
        (and
            (instance ?SALT SodiumChloride)
            (resource ?PROCESS ?SALT))))
Geography.kif 2900-2905

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


(=>
    (instance ?S Soil)
    (capability Salination patient ?S))
Geography.kif 2911-2913
(=>
    (instance ?S Water)
    (capability Salination patient ?S))
Geography.kif 2907-2909


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