| 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. | Military.kif 23-23 | 军事行动 是 军事过程 的 subclass |
| 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 388-388 | 直接行动活动 是 军事行动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 422-422 | 军事攻击 是 军事行动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 673-673 | ReconnaissanceOperation 是 军事行动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1105-1105 | 心理操作 是 军事行动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1521-1521 | 运营计划 是 军事行动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1716-1716 | 联合行动 是 军事行动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1850-1850 | 信息操作 是 军事行动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1905-1905 | 外国内部防御 是 军事行动 的 subclass |
| 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 2362-2362 | 民政活动 是 军事行动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 49-49 | 食品配送业务 是 军事行动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 80-80 | 安全行动 是 军事行动 的 subclass |
|
|