No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 2382-2384 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6115-6119 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1061-1064 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6111-6111 |
域 abstractCounterpart, 1 and Abstract |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6112-6112 |
域 abstractCounterpart, 2 and Physical |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6110-6110 |
例 abstractCounterpart and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6113-6113 |
子關係 abstractCounterpart and 代表 |