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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 19033-19035
(externalImage Dialysis " fc/ Hemodialysismachine.jpg") pictureList.kif 4652-4652
(subclass Dialysis Separating) Mid-level-ontology.kif 19032-19032 Dialysis is a subclass of separating

appearance as argument number 2

(termFormat ChineseLanguage Dialysis "透析") domainEnglishFormat.kif 19413-19413
(termFormat ChineseTraditionalLanguage Dialysis "透析") domainEnglishFormat.kif 19412-19412
(termFormat EnglishLanguage Dialysis "dialysis") domainEnglishFormat.kif 19411-19411


    (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 19037-19047

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