No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 549-549 | 恢复运作 是 直接行动活动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 240-240 | 非常规辅助恢复 是 恢复运作 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1460-1460 | 反扩散 是 恢复运作 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2061-2061 | CT人质物资恢复 是 恢复运作 的 subclass |