Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Fishing
|
|
|
| appearance as argument number 1 |
|
|
| (subclass RingersLactate Mixture) | Medicine.kif 5862-5862 | Hartmann's solution is a subclass of mixture |
| (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 5863-5868 | Hartmann's solution is a subclass of mixture |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RingersLactate "Ringer's lactate solution") | Medicine.kif 5870-5870 | |
| (termFormat EnglishLanguage RingersLactate "RL") | Medicine.kif 5871-5871 | |
| (termFormat EnglishLanguage RingersLactate "sodium lactate solution") | Medicine.kif 5872-5872 | |
| (termFormat EnglishLanguage RingersLactate "Lactated Ringer’s") | Medicine.kif 5873-5873 | |
| (termFormat EnglishLanguage RingersLactate "Hartmann's solution") | Medicine.kif 5874-5874 | |
| (mixturePartType SodiumChloride RingersLactate) | Medicine.kif 5912-5912 | Salt is a part of the mixture Hartmann's solution |
| (mixturePartType CalciumChloride RingersLactate) | Medicine.kif 5913-5913 | Calcium chloride is a part of the mixture Hartmann's solution |
| (mixturePartType PotassiumChloride RingersLactate) | Medicine.kif 5914-5914 | Potassium chloride is a part of the mixture Hartmann's solution |
| (mixturePartType SodiumLactate RingersLactate) | Medicine.kif 5915-5915 | Sodium lactate 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 5876-5881 | If X is an instance of blood, Y is an instance of Hartmann's solution, and the tonicity of Y with respect to X is Z pascal(s), then the approximate value of Z is 0.0 |
|