No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2070-2070 |
CT非动力活动 是 心理操作 的 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 1217-1217 |
传播产品 是 心理操作 的 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 1224-1224 |
进行研究 是 心理操作 的 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 1240-1240 |
SupportEPW 是 心理操作 的 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 1333-1333 |
支持IO 是 心理操作 的 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. |
domainEnglishFormat.kif 47924-47924 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47923-47923 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47922-47922 |
|