equal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7425-7427 | Numero Real Byte(s) e' igual a Numero Real + 8 Bit(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7345-7347 | Numero Real Calorie(s) e' igual a Numero Real + 4.1868 Joule(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7012-7014 | Numero Real CelsiusDegree(s) e' igual a ( Numero Real + 32.0) + 1.8 FahrenheitDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7008-7010 | Numero Real CelsiusDegree(s) e' igual a ( Numero Real + 273.15) KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6780-6782 | Numero Real Centimeter(s) e' igual a Numero Real + 0.01 Meter(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7239-7241 | Numero Real Cup(s) e' igual a Numero Real + 2 Pint(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7087-7089 | Numero Real DayDuration(s) e' igual a Numero Real + 24 HourDuration(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7161-7163 | Numero Real ElectronVolt(s) e' igual a Numero Real + 1.60217733E-19 Joule(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7405-7407 | Numero Real EuroCent(s) e' igual a Numero Real + 0.01 EuroDollar(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7186-7188 | Numero Real FootLength(s) e' igual a Numero Real + 0.3048 Meter(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7095-7097 | Numero Real HourDuration(s) e' igual a Numero Real + 60 MinuteDuration(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7193-7195 | Numero Real Inch(s) e' igual a Numero Real + 0.0254 Meter(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7435-7437 | Numero Real KiloByte(s) e' igual a Numero Real + 1024 Byte(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7279-7282 | Numero Real Kilogram(s) e' igual a Numero Real + 1000 Gram(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6799-6802 | Numero Real Kilometer(s) e' igual a Numero Real + 1000 Meter(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7445-7447 | Numero Real MegaByte(s) e' igual a Numero Real + 1024 KiloByte(s) |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7097-7100 | Numero Real Micrometer(s) e' igual a Numero Real + 0.0000001 Meter(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7200-7202 | Numero Real Mile(s) e' igual a Numero Real + 1609.344 Meter(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6789-6792 | Numero Real Millimeter(s) e' igual a Numero Real + 0.001 Meter(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7103-7105 | Numero Real MinuteDuration(s) e' igual a Numero Real + 60 SecondDuration(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7248-7250 | Numero Real Ounce(s) e' igual a Numero Real + 8 Cup(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7230-7232 | Numero Real Pint(s) e' igual a Numero Real + 2 Quart(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7335-7337 | Numero Real PoundForce(s) e' igual a Numero Real + 4.448222 Newton(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7296-7298 | Numero Real PoundMass(s) e' igual a Numero Real + 453.59237 Gram(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7221-7223 | Numero Real Quart(s) e' igual a Numero Real + 4 UnitedStatesGallon(s) |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |