equal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7425-7427 | A real number byte(s) is equal to the real number and 8 bit(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7345-7347 | A real number calorie(s) is equal to the real number and 4.1868 joule(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7012-7014 | A real number celsius degree(s) is equal to (the real number and 32.0) and 1.8 fahrenheit degree(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7008-7010 | A real number celsius degree(s) is equal to (the real number and 273.15) kelvin degree(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6780-6782 | A real number centimeter(s) is equal to the real number and 0.01 meter(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7239-7241 | A real number cup(s) is equal to the real number and 2 pint(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7087-7089 | A real number day duration(s) is equal to the real number and 24 hour duration(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7161-7163 | A real number electron volt(s) is equal to the real number and 1.60217733E-19 joule(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7405-7407 | A real number euro cent(s) is equal to the real number and 0.01 euro dollar(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7186-7188 | A real number foot length(s) is equal to the real number and 0.3048 meter(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7095-7097 | A real number hour duration(s) is equal to the real number and 60 minute duration(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7193-7195 | A real number inch(s) is equal to the real number and 0.0254 meter(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7435-7437 | A real number kilo byte(s) is equal to the real number and 1024 byte(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7279-7282 | A real number kilogram(s) is equal to the real number and 1000 gram(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6799-6802 | A real number kilometer(s) is equal to the real number and 1000 meter(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7445-7447 | A real number mega byte(s) is equal to the real number and 1024 kilo byte(s) |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7097-7100 | A real number micrometer(s) is equal to the real number and 0.0000001 meter(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7200-7202 | A real number mile(s) is equal to the real number and 1609.344 meter(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6789-6792 | A real number millimeter(s) is equal to the real number and 0.001 meter(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7103-7105 | A real number minute duration(s) is equal to the real number and 60 second duration(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7248-7250 | A real number ounce(s) is equal to the real number and 8 cup(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7230-7232 | A real number pint(s) is equal to the real number and 2 quart(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7335-7337 | A real number pound force(s) is equal to the real number and 4.448222 newton(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7296-7298 | A real number pound mass(s) is equal to the real number and 453.59237 gram(s) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7221-7223 | A real number quart(s) is equal to the real number and 4 united states gallon(s) |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |