|
|
   Dialysis
|
|
|
| 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 19598-19600 | |
| (externalImage Dialysis "http://upload.wikimedia.org/wikipedia/commons/f/ fc/ Hemodialysismachine.jpg") | pictureList.kif 4651-4651 | |
| (subclass Dialysis Separating) | Mid-level-ontology.kif 19597-19597 | Dialysis is a subclass of separating |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Dialysis "透析") | domainEnglishFormat.kif 19422-19422 | |
| (termFormat ChineseTraditionalLanguage Dialysis "透析") | domainEnglishFormat.kif 19421-19421 | |
| (termFormat EnglishLanguage Dialysis "dialysis") | domainEnglishFormat.kif 19420-19420 |
| 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 19602-19612 |
|
|
|
|
