No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 2472-2475 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6615-6619 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1165-1168 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6612-6612 |
UnitFn 的 1 数量 是 物理量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6611-6611 |
UnitFn 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6610-6610 |
UnitFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6613-6613 |
UnitFn 的 range 是 测量单位 的实例 |