No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5866-5866 |
The number of molecules of calcium in a molecule of CalciumChloride is 1 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1787-1787 |
The number of molecules of carbon in a molecule of freon-12 is 1 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5877-5877 |
The number of molecules of carbon in a molecule of SodiumLactate is 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 5868-5868 |
The number of molecules of chlorine in a molecule of salt is 1 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5865-5865 |
The number of molecules of chlorine in a molecule of CalciumChloride is 2 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1788-1788 |
The number of molecules of chlorine in a molecule of freon-12 is 2 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1789-1789 |
The number of molecules of fluorine in a molecule of freon-12 is 2 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2474-2474 |
The number of molecules of hydrogen in a molecule of sulfuric acid is 2 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5878-5878 |
The number of molecules of hydrogen in a molecule of SodiumLactate is 5 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7213-7213 |
The number of molecules of nitrogen in a molecule of nitric oxide is 1 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7238-7238 |
The number of molecules of nitrogen in a molecule of nitrogen dioxide is 1 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7214-7214 |
The number of molecules of oxygen in a molecule of nitric oxide is 1 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7239-7239 |
The number of molecules of oxygen in a molecule of nitrogen dioxide is 2 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7179-7179 |
The number of molecules of oxygen in a molecule of sulphur dioxide is 2 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5879-5879 |
The number of molecules of oxygen in a molecule of SodiumLactate is 3 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2476-2476 |
The number of molecules of oxygen in a molecule of sulfuric acid is 4 |
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 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5869-5869 |
The number of molecules of sodium in a molecule of salt is 1 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5876-5876 |
The number of molecules of sodium in a molecule of SodiumLactate is 1 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2475-2475 |
The number of molecules of sulphur in a molecule of sulfuric acid is 1 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7178-7178 |
The number of molecules of sulphur in a molecule of sulphur dioxide is 1 |