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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RingersLactate
RingersLactate(Hartmann's solution)

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


(documentation RingersLactate EnglishLanguage "Ringer's lactate solution (RL), also known as sodium lactate solution, Lactated Ringer’s, and Hartmann's solution, is a mixture of sodium chloride, potassium chloride, and calcium chloride in water. It is used for replacing fluids and electrolytes in those who have low blood volume or low blood pressure. It may also be used to treat metabolic acidosis and to wash the Eye following a chemical burn. It is given by intravenous infusion or applied to the affected area.[from Wikipedia].") Medicine.kif 5825-5830
(subclass RingersLactate Mixture) Medicine.kif 5824-5824 Hartmann's solution is a subclass of mixture

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


(mixturePartType CalciumChloride RingersLactate) Medicine.kif 5870-5870 CalciumChloride is a part of the mixture Hartmann's solution
(mixturePartType PotassiumChloride RingersLactate) Medicine.kif 5871-5871 PotassiumChloride is a part of the mixture Hartmann's solution
(mixturePartType SodiumChloride RingersLactate) Medicine.kif 5869-5869 Salt is a part of the mixture Hartmann's solution
(mixturePartType SodiumLactate RingersLactate) Medicine.kif 5872-5872 SodiumLactate is a part of the mixture Hartmann's solution
(termFormat EnglishLanguage RingersLactate "Hartmann's solution") Medicine.kif 5836-5836 SodiumLactate is a part of the mixture Hartmann's solution
(termFormat EnglishLanguage RingersLactate "Lactated Ringer’s") Medicine.kif 5835-5835 SodiumLactate is a part of the mixture Hartmann's solution
(termFormat EnglishLanguage RingersLactate "RL") Medicine.kif 5833-5833 SodiumLactate is a part of the mixture Hartmann's solution
(termFormat EnglishLanguage RingersLactate "Ringer's lactate solution") Medicine.kif 5832-5832 SodiumLactate is a part of the mixture Hartmann's solution
(termFormat EnglishLanguage RingersLactate "sodium lactate solution") Medicine.kif 5834-5834 SodiumLactate is a part of the mixture Hartmann's solution

antecedent
-------------------------


(=>
    (and
        (instance ?B Blood)
        (instance ?SL RingersLactate)
        (tonicity ?SL ?B
            (MeasureFn ?N Pascal)))
    (approximateValue ?N 0.0))
Medicine.kif 5838-5843


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



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