Salination - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Salination Combining)	Geography.kif 4325-4325	Salinifying is a subclass of combining
(subclass Salination NaturalProcess)	Geography.kif 4326-4326	Salinifying is a subclass of natural process
(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 4328-4330	Salinifying is a subclass of natural process
(externalImage Salination "http://upload.wikimedia.org/wikipedia/commons/ b/ b0/ Salinity.jpg")	pictureList.kif 6832-6832	Salinifying is a subclass of natural process
(externalImage Salination "http://upload.wikimedia.org/wikipedia/commons/ b/ b8/ Salinity_from_irrigation.png")	pictureList.kif 7774-7774	Salinifying is a subclass of natural process

appearance as argument number 2

(subclass SoilSalination Salination)	Geography.kif 4384-4384	Soil salination is a subclass of salinifying
(termFormat EnglishLanguage Salination "salinifying")	domainEnglishFormat.kif 50926-50926	Soil salination is a subclass of salinifying
(termFormat ChineseTraditionalLanguage Salination "鹽鹼")	domainEnglishFormat.kif 50927-50927	Soil salination is a subclass of salinifying
(termFormat ChineseLanguage Salination "盐碱")	domainEnglishFormat.kif 50928-50928	Soil salination is a subclass of salinifying

antecedent

(=>
    (instance ?PROCESS Salination)
    (exists (?SALT)
        (and
            (instance ?SALT SodiumChloride)
            (resource ?PROCESS ?SALT))))

If X is an instance of salinifying, then there exists Y such that Y is an instance of salt and Y is a resource for X

consequent

(=> (instance ?S Water) (capability Salination patient ?S))	Geography.kif 4339-4341	If X is an instance of water, then X is capable of doing salinifying as a patient
(=> (instance ?S Soil) (capability Salination patient ?S))	Geography.kif 4343-4345	If X is an instance of soil, then X is capable of doing salinifying as a patient