No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5882-5882 |
mixturePartType CalciumChloride and RingersLactate |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5883-5883 |
mixturePartType PotassiumChloride and RingersLactate |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5881-5881 |
mixturePartType SodiumChloride and RingersLactate |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5884-5884 |
mixturePartType SodiumLactate and RingersLactate |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5848-5848 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5847-5847 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5845-5845 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5844-5844 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5846-5846 |
|