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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Dialysis

Sigma KEE - Dialysis
Dialysis(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 "http://upload.wikimedia.org/wikipedia/commons/f/ 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

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 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