| 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 19856-19858 | |
| (externalImage Dialysis "http://upload.wikimedia.org/wikipedia/commons/f/ fc/ Hemodialysismachine.jpg") | pictureList.kif 4651-4651 | |
| (subclass Dialysis Separating) | Mid-level-ontology.kif 19855-19855 | Dialysis is a subclass of separating |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Dialysis "透析") | domainEnglishFormat.kif 19438-19438 | |
| (termFormat ChineseTraditionalLanguage Dialysis "透析") | domainEnglishFormat.kif 19437-19437 | |
| (termFormat EnglishLanguage Dialysis "dialysis") | domainEnglishFormat.kif 19436-19436 |
| 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 19860-19870 |
|
|
|
|