|
|
   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 19597-19599 | |
| (externalImage Dialysis "http://upload.wikimedia.org/wikipedia/commons/f/ fc/ Hemodialysismachine.jpg") | pictureList.kif 4651-4651 | |
| (subclass Dialysis Separating) | Mid-level-ontology.kif 19596-19596 | Dialysis è una sottoclasse di Separare |
| 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 19601-19611 |
|
|
|
