No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 186-192 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6601-6601 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7029-7029 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7030-7030 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7031-7031 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7033-7033 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 185-185 |
子類 游擊戰 and 非常規戰爭 |