Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Dialysis

 Sigma KEE - Dialysis
Dialysis(dialysis)
dialyse, dialysis, dialyze

appearance as argument number 1
-------------------------


(subclass Dialysis Separating) Mid-level-ontology.kif 21497-21497 Dialysis is a subclass of separating
(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 21498-21500 Dialysis is a subclass of separating
(externalImage Dialysis "http://upload.wikimedia.org/wikipedia/commons/f/ fc/ Hemodialysismachine.jpg") pictureList.kif 4650-4650 Dialysis is a subclass of separating

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Dialysis "dialysis") domainEnglishFormat.kif 19422-19422
(termFormat ChineseTraditionalLanguage Dialysis "透析") domainEnglishFormat.kif 19423-19423
(termFormat ChineseLanguage Dialysis "透析") domainEnglishFormat.kif 19424-19424

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 21502-21512 If X is an instance of dialysis, then All of the following hold: (1) there exist Y, Z (2) W such that Y is a resource for X (3) Y is an instance of solution (4) Z is a result of X (5) Z is an instance of pure substance (6) W is a result of X (7) W is an instance of pure substance (8) equal Z (9) W


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners