No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 272-272 | 特别行动 是 军事行动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 18-18 | 特别侦察 是 特别行动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 131-131 | 非常规战争 是 特别行动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 324-324 | 直接行动 是 特别行动 的 subclass |