No TPTP formula. May not be expressible in strict first order. |
Geography.kif 402-402 |
实数 弧分 equal 60.0 和 那个 实数 弧秒 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 383-383 |
实数 圆周角度 equal 60.0 和 那个 实数 弧分 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7151-7153 |
实数 amu equal 那个 实数 和 1.6605402E-24 公克 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7173-7175 |
实数 埃 equal 那个 实数 和 1.0E-10 仪表 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7367-7369 |
实数 圆周角度 equal 那个 实数 和 圆周率 和 180.0 弧度 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7353-7355 |
实数 英国热量单位 equal 那个 实数 和 1055.05585262 焦耳 |
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 6780-6782 |
实数 厘米 equal 那个 实数 和 0.01 仪表 |
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 7335-7337 |
实数 磅力 equal 那个 实数 和 4.448222 牛顿 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7296-7298 |
实数 磅质量 equal 那个 实数 和 453.59237 公克 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |