No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2061-2061 |
子類 CT人質物資恢復 and 恢復運作 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1460-1460 |
子類 反擴散 and 恢復運作 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 240-240 |
子類 非常規輔助恢復 and 恢復運作 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48992-48992 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48991-48991 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48990-48990 |
|