MultiplicationFn |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7316-7318 | Nombre r�el RankineDegree(s) est nombre r�el + 1.8 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7304-7306 | Nombre r�el Slug(s) est nombre r�el + 14593.90 Gram(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7257-7259 | Nombre r�el UnitedKingdomGallon(s) est nombre r�el + 4.54609 Liter(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7391-7393 | Nombre r�el UnitedStatesCent(s) est nombre r�el + 0.01 UnitedStatesDollar(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7212-7214 | Nombre r�el UnitedStatesGallon(s) est nombre r�el + 3.785411784 Liter(s) |