|
|
   PotassiumChloride YaeyamaLanguage
|
|
|
| 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 |
|
|
|