|
|
   SodiumLactate
|
|
|
| appearance as argument number 1 |
|
|
| 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 5875-5875 | SodiumLactate 是 盐 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5885-5885 | mixturePartType 水 and SodiumLactate |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5877-5877 | molecularRatio 碳, 3 and SodiumLactate |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5878-5878 | molecularRatio 氢, 5 and SodiumLactate |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5879-5879 | molecularRatio 氧, 3 and SodiumLactate |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5876-5876 | molecularRatio 钠, 1 and SodiumLactate |
|
|
|