equal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7425-7427 | 实数 字节 equal 那个 实数 和 8 位元 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7345-7347 | 实数 卡路里 equal 那个 实数 和 4.1868 焦耳 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7012-7014 | 实数 摄氏度 equal (那个 实数 和 32.0) 和 1.8 华氏度 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7008-7010 | 实数 摄氏度 equal (那个 实数 和 273.15) 凯文度 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6780-6782 | 实数 厘米 equal 那个 实数 和 0.01 仪表 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7239-7241 | 实数 杯子 equal 那个 实数 和 2 品脱 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7087-7089 | 实数 一天长度 equal 那个 实数 和 24 小时 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7161-7163 | 实数 电子伏特 equal 那个 实数 和 1.60217733E-19 焦耳 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7405-7407 | 实数 欧元分 equal 那个 实数 和 0.01 欧元 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7186-7188 | 实数 脚长 equal 那个 实数 和 0.3048 仪表 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7095-7097 | 实数 小时 equal 那个 实数 和 60 分钟 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7193-7195 | 实数 英寸 equal 那个 实数 和 0.0254 仪表 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7435-7437 | 实数 千位元 equal 那个 实数 和 1024 字节 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7279-7282 | 实数 公斤 equal 那个 实数 和 1000 公克 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6799-6802 | 实数 公里 equal 那个 实数 和 1000 仪表 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7445-7447 | 实数 兆位元 equal 那个 实数 和 1024 千位元 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7097-7100 | 实数 微米 equal 那个 实数 和 0.0000001 仪表 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7200-7202 | 实数 英里 equal 那个 实数 和 1609.344 仪表 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6789-6792 | 实数 毫米 equal 那个 实数 和 0.001 仪表 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7103-7105 | 实数 分钟 equal 那个 实数 和 60 第二期 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7248-7250 | 实数 盎司 equal 那个 实数 和 8 杯子 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7230-7232 | 实数 品脱 equal 那个 实数 和 2 夸脱 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7335-7337 | 实数 磅力 equal 那个 实数 和 4.448222 牛顿 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7296-7298 | 实数 磅质量 equal 那个 实数 和 453.59237 公克 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7221-7223 | 实数 夸脱 equal 那个 实数 和 4 美国加仑 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |