No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5881-5881 |
The number of molecules of calcium in a molecule of calcium chloride is 1 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1788-1788 |
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 5894-5894 |
The number of molecules of carbon in a molecule of sodium lactate is 3 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5888-5888 |
The number of molecules of chlorine in a molecule of potassium chloride is 1 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5883-5883 |
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 5880-5880 |
The number of molecules of chlorine in a molecule of calcium chloride is 2 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1789-1789 |
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 1790-1790 |
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 2475-2475 |
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 5895-5895 |
The number of molecules of hydrogen in a molecule of sodium lactate is 5 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7379-7379 |
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 7404-7404 |
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 7380-7380 |
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 7405-7405 |
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 7345-7345 |
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 5896-5896 |
The number of molecules of oxygen in a molecule of sodium lactate is 3 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2477-2477 |
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 5889-5889 |
The number of molecules of potassium in a molecule of potassium chloride is 1 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5884-5884 |
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 5893-5893 |
The number of molecules of sodium in a molecule of sodium lactate is 1 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2476-2476 |
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 7344-7344 |
The number of molecules of sulphur in a molecule of sulphur dioxide is 1 |