MultiplicationFn |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7316-7318 | A real number rankine degree(s) is equal to the real number and 1.8 kelvin degree(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7304-7306 | A real number slug(s) is equal to the real number and 14593.90 gram(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7257-7259 | A real number united kingdom gallon(s) is equal to the real number and 4.54609 liter(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7391-7393 | A real number united states cent(s) is equal to the real number and 0.01 united states dollar(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7212-7214 | A real number united states gallon(s) is equal to the real number and 3.785411784 liter(s) |