No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 448-448 | 终端攻击控制 是 直接行动活动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 449-449 | 终端攻击控制 是 分类 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 450-450 | 终端攻击控制 是 陈述 的 subclass |