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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RingersLactate

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 5837-5842
(subclass RingersLactate Mixture) Medicine.kif 5836-5836 Hartmann's solution is a subclass of mixture

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


(mixturePartType CalciumChloride RingersLactate) Medicine.kif 5882-5882 CalciumChloride is a part of the mixture Hartmann's solution
(mixturePartType PotassiumChloride RingersLactate) Medicine.kif 5883-5883 PotassiumChloride is a part of the mixture Hartmann's solution
(mixturePartType SodiumChloride RingersLactate) Medicine.kif 5881-5881 Salt is a part of the mixture Hartmann's solution
(mixturePartType SodiumLactate RingersLactate) Medicine.kif 5884-5884 SodiumLactate is a part of the mixture Hartmann's solution
(termFormat EnglishLanguage RingersLactate "Hartmann's solution") Medicine.kif 5848-5848
(termFormat EnglishLanguage RingersLactate "Lactated Ringer’s") Medicine.kif 5847-5847
(termFormat EnglishLanguage RingersLactate "RL") Medicine.kif 5845-5845
(termFormat EnglishLanguage RingersLactate "Ringer's lactate solution") Medicine.kif 5844-5844
(termFormat EnglishLanguage RingersLactate "sodium lactate solution") Medicine.kif 5846-5846

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


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


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