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 1196-1196 | 制定计划 是 心理操作 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1210-1210 | 分发产品 是 心理操作 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1217-1217 | 传播产品 是 心理操作 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1224-1224 | 进行研究 是 心理操作 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1240-1240 | SupportEPW 是 心理操作 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1255-1255 | 支持CI 是 心理操作 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1271-1271 | SupportDC 是 心理操作 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1286-1286 | 支持HW 协助 是 心理操作 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1305-1305 | 战术PSYO 是 心理操作 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1333-1333 | 支持IO 是 心理操作 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2070-2070 | CT非动力活动 是 心理操作 的 subclass |