| 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 50971-50971 | Soil salination is a subclass of salinifying |
| (termFormat ChineseTraditionalLanguage Salination "鹽鹼") | domainEnglishFormat.kif 50970-50970 | Soil salination is a subclass of salinifying |
| (termFormat EnglishLanguage Salination "salinifying") | domainEnglishFormat.kif 50969-50969 | Soil salination is a subclass of salinifying |
| 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 |
|
|
|
|