No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2174-2184 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2168-2168 | 反操作 是 军事行动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1459-1459 | 反扩散 是 反操作 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1996-1996 | 反恐 是 反操作 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2186-2186 | 反侦察 是 反操作 的 subclass |