No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1892-1894 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2525-2528 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 517-520 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2530-2530 |
resourceExhausted 的 1 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2531-2531 |
resourceExhausted 的 2 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2533-2533 |
resourceExhausted 是 非对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2534-2534 |
resourceExhausted 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2532-2532 |
resourceExhausted 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2535-2535 |
resourceExhausted 是 部分值关系 的 instance |