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
-------------------------


(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 Salinifying is a subclass of combining
(subclass Salination NaturalProcess) Geography.kif 2894-2894 Salinifying is a subclass of natural process

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


(subclass SoilSalination Salination) Geography.kif 2952-2952 Soil salination is a subclass of salinifying
(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 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