Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 " fc/ Hemodialysismachine.jpg") pictureList.kif 4651-4651
(subclass Dialysis Separating) Mid-level-ontology.kif 19596-19596

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


    (instance ?DIALYSIS Dialysis)
            (resource ?DIALYSIS ?SOLUTION)
            (instance ?SOLUTION Solution)
            (result ?DIALYSIS ?SUBSTANCE1)
            (instance ?SUBSTANCE1 PureSubstance)
            (result ?DIALYSIS ?SUBSTANCE2)
            (instance ?SUBSTANCE2 PureSubstance)
                (equal ?SUBSTANCE1 ?SUBSTANCE2)))))
Mid-level-ontology.kif 19601-19611

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners