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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Salination
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 2826-2828
(externalImage Salination "http://upload.wikimedia.org/wikipedia/commons/ b/ b0/ Salinity.jpg") pictureList.kif 6834-6834
(externalImage Salination "http://upload.wikimedia.org/wikipedia/commons/ b/ b8/ Salinity_from_irrigation.png") pictureList.kif 7776-7776
(subclass Salination Combining) Geography.kif 2824-2824 Salination is a subclass of combining

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


(subclass SoilSalination Salination) Geography.kif 2874-2874 Soil salination is a subclass of salination
(termFormat ChineseLanguage Salination "盐碱") domainEnglishFormat.kif 50914-50914
(termFormat ChineseTraditionalLanguage Salination "鹽鹼") domainEnglishFormat.kif 50913-50913
(termFormat EnglishLanguage Salination "salination") domainEnglishFormat.kif 50912-50912

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


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


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