No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 448-448 | 子類 終端攻擊控制 and 直接行動活動 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 449-449 | 子類 終端攻擊控制 and Classifying |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 450-450 | 子類 終端攻擊控制 and Stating |
![]() |