No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2461-2461 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10960-10960 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10958-10958 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10959-10959 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10957-10957 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2460-2460 |
敌人 是 比赛属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2459-2459 |
敌人 是 身分 的 instance |