TreeView Knowledge Base Browser

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 5850-5855
(subclass RingersLactate Mixture)	Medicine.kif 5849-5849	RingersLactate is a subclass of mixture

appearance as argument number 2

(mixturePartType CalciumChloride RingersLactate)	Medicine.kif 5900-5900	mixturePartType CalciumChloride and RingersLactate
(mixturePartType PotassiumChloride RingersLactate)	Medicine.kif 5901-5901	mixturePartType PotassiumChloride and RingersLactate
(mixturePartType SodiumChloride RingersLactate)	Medicine.kif 5899-5899	mixturePartType SodiumChloride and RingersLactate
(mixturePartType SodiumLactate RingersLactate)	Medicine.kif 5902-5902	mixturePartType SodiumLactate and RingersLactate
(termFormat EnglishLanguage RingersLactate "Hartmann's solution")	Medicine.kif 5861-5861	mixturePartType SodiumLactate and RingersLactate
(termFormat EnglishLanguage RingersLactate "Lactated Ringer’s")	Medicine.kif 5860-5860	mixturePartType SodiumLactate and RingersLactate
(termFormat EnglishLanguage RingersLactate "RL")	Medicine.kif 5858-5858	mixturePartType SodiumLactate and RingersLactate
(termFormat EnglishLanguage RingersLactate "Ringer's lactate solution")	Medicine.kif 5857-5857	mixturePartType SodiumLactate and RingersLactate
(termFormat EnglishLanguage RingersLactate "sodium lactate solution")	Medicine.kif 5859-5859	mixturePartType SodiumLactate and RingersLactate

antecedent

(=>
    (and
        (instance ?B Blood)
        (instance ?SL RingersLactate)
        (tonicity ?SL ?B
            (MeasureFn ?N Pascal)))
    (approximateValue ?N 0.0))

Medicine.kif 5863-5868