| Dialysis(dialysis)
| | dialyse, dialysis, dialyze |
| appearance as argument number 1 |
|
|
| (documentation Dialysis EnglishLanguage "Any process of Separating a Solution into two or more constituent PureSubstances by means of their unequal diffusion through membranes that are partially permeable.") | Mid-level-ontology.kif 21169-21171 | |
| (externalImage Dialysis "http://upload.wikimedia.org/wikipedia/commons/f/ fc/ Hemodialysismachine.jpg") | pictureList.kif 4650-4650 | |
| (subclass Dialysis Separating) | Mid-level-ontology.kif 21168-21168 | Dialysis is a subclass of separating |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Dialysis "透析") | domainEnglishFormat.kif 19431-19431 | |
| (termFormat ChineseTraditionalLanguage Dialysis "透析") | domainEnglishFormat.kif 19430-19430 | |
| (termFormat EnglishLanguage Dialysis "dialysis") | domainEnglishFormat.kif 19429-19429 |
| antecedent |
|
|
| (=> (instance ?DIALYSIS Dialysis) (exists (?SOLUTION ?SUBSTANCE1 ?SUBSTANCE2) (and (resource ?DIALYSIS ?SOLUTION) (instance ?SOLUTION Solution) (result ?DIALYSIS ?SUBSTANCE1) (instance ?SUBSTANCE1 PureSubstance) (result ?DIALYSIS ?SUBSTANCE2) (instance ?SUBSTANCE2 PureSubstance) (not (equal ?SUBSTANCE1 ?SUBSTANCE2))))) |
Mid-level-ontology.kif 21173-21183 |
|
|
|
|