No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 249-249 |
子類 滲出 and 非常規戰爭 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 185-185 |
子類 游擊戰 and 非常規戰爭 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 230-230 |
子類 情報活動 and 非常規戰爭 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 219-219 |
子類 破壞 and 非常規戰爭 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 210-210 |
子類 顛覆 and 非常規戰爭 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 239-239 |
子類 非常規輔助恢復 and 非常規戰爭 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59870-59870 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59869-59869 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59868-59868 |
|