No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5866-5866 |
molecularRatio 钙, 1 and CalciumChloride |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1804-1804 |
molecularRatio 碳, 1 and Freon12 |
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 5872-5872 |
molecularRatio 氯, 1 and PotassiumChloride |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5868-5868 |
molecularRatio 氯, 1 and 盐 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5865-5865 |
molecularRatio 氯, 2 and CalciumChloride |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1805-1805 |
molecularRatio 氯, 2 and Freon12 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1806-1806 |
molecularRatio 氟, 2 and Freon12 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2491-2491 |
molecularRatio 氢, 2 and SulfuricAcid |
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. |
Geography.kif 7213-7213 |
molecularRatio 氮, 1 and 一氧化氮 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7238-7238 |
molecularRatio 氮, 1 and 二氧化氮 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7214-7214 |
molecularRatio 氧, 1 and 一氧化氮 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7239-7239 |
molecularRatio 氧, 2 and 二氧化氮 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7179-7179 |
molecularRatio 氧, 2 and 二氧化硫 |
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. |
Cars.kif 2493-2493 |
molecularRatio 氧, 4 and SulfuricAcid |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5873-5873 |
molecularRatio 钾, 1 and PotassiumChloride |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5869-5869 |
molecularRatio 钠, 1 and 盐 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5876-5876 |
molecularRatio 钠, 1 and SodiumLactate |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2492-2492 |
molecularRatio 硫, 1 and SulfuricAcid |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7178-7178 |
molecularRatio 硫, 1 and 二氧化硫 |