No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1606-1606 |
子類 破產 and 運作計劃 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2076-2076 |
子類 反恐戰略 and 運作計劃 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1782-1782 |
子類 OPLAN and 運作計劃 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42270-42270 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42269-42269 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42268-42268 |
|