| 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 2884-2886 | |
| (externalImage Salination "http://upload.wikimedia.org/wikipedia/commons/ b/ b0/ Salinity.jpg") | pictureList.kif 6832-6832 | |
| (externalImage Salination "http://upload.wikimedia.org/wikipedia/commons/ b/ b8/ Salinity_from_irrigation.png") | pictureList.kif 7774-7774 | |
| (subclass Salination Combining) | Geography.kif 2881-2881 | Salinifying is a subclass of combining |
| (subclass Salination NaturalProcess) | Geography.kif 2882-2882 | Salinifying is a subclass of natural process |
| appearance as argument number 2 |
|
|
| (subclass SoilSalination Salination) | Geography.kif 2940-2940 | Soil salination is a subclass of salinifying |
| (termFormat ChineseLanguage Salination "盐碱") | domainEnglishFormat.kif 50964-50964 | Soil salination is a subclass of salinifying |
| (termFormat ChineseTraditionalLanguage Salination "鹽鹼") | domainEnglishFormat.kif 50963-50963 | Soil salination is a subclass of salinifying |
| (termFormat EnglishLanguage Salination "salinifying") | domainEnglishFormat.kif 50962-50962 | Soil salination is a subclass of salinifying |
| antecedent |
|
|
| (=> (instance ?PROCESS Salination) (exists (?SALT) (and (instance ?SALT SodiumChloride) (resource ?PROCESS ?SALT)))) |
Geography.kif 2888-2893 |
|
| consequent |
|
|
| (=> (instance ?S Soil) (capability Salination patient ?S)) |
Geography.kif 2899-2901 |
|
| (=> (instance ?S Water) (capability Salination patient ?S)) |
Geography.kif 2895-2897 |
|
|
|
|