PotassiumChloride |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5883-5883 | PotassiumChloride is a part of the mixture Hartmann's solution |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5871-5871 | PotassiumChloride is a subclass of salt |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5872-5872 | The number of molecules of chlorine in a molecule of PotassiumChloride is 1 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5873-5873 | The number of molecules of potassium in a molecule of PotassiumChloride is 1 |