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 è una sottoclasse di Combinare |
(subclass Salination NaturalProcess) | Geography.kif 2894-2894 | Salination è una sottoclasse di NaturalProcess |
appearance as argument number 2 |
(subclass SoilSalination Salination) | Geography.kif 2952-2952 | SoilSalination è una sottoclasse di Salination |
(termFormat ChineseLanguage Salination "盐碱") | domainEnglishFormat.kif 50933-50933 | |
(termFormat ChineseTraditionalLanguage Salination "鹽鹼") | domainEnglishFormat.kif 50932-50932 | |
(termFormat EnglishLanguage Salination "salinifying") | domainEnglishFormat.kif 50931-50931 |
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 |