| 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 20687-20689 | |
| (externalImage Dialysis "http://upload.wikimedia.org/wikipedia/commons/f/ fc/ Hemodialysismachine.jpg") | pictureList.kif 4650-4650 | |
| (subclass Dialysis Separating) | Mid-level-ontology.kif 20686-20686 | Dialysis is a subclass of separating |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Dialysis "透析") | domainEnglishFormat.kif 19437-19437 | |
| (termFormat ChineseTraditionalLanguage Dialysis "透析") | domainEnglishFormat.kif 19436-19436 | |
| (termFormat EnglishLanguage Dialysis "dialysis") | domainEnglishFormat.kif 19435-19435 |
| 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 20691-20701 |
|
|
|
|