No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3165-3166 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3161-3161 |
SubListFn 的 1 数量 是 整数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3162-3162 |
SubListFn 的 2 数量 是 整数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3163-3163 |
SubListFn 的 3 数量 是 串列 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3160-3160 |
SubListFn 是 三元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3164-3164 |
SubListFn 的 range 是 串列 的实例 |