No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2070-2070 |
子類 CT非動力活動 and 心理操作 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1196-1196 |
子類 制定計劃 and 心理操作 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1217-1217 |
子類 傳播產品 and 心理操作 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1210-1210 |
子類 分發產品 and 心理操作 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1224-1224 |
子類 進行研究 and 心理操作 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1255-1255 |
子類 支持CI and 心理操作 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1271-1271 |
子類 supportDC and 心理操作 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1240-1240 |
子類 supportEPW and 心理操作 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1286-1286 |
子類 支持HW 協助 and 心理操作 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1333-1333 |
子類 支持IO and 心理操作 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1305-1305 |
子類 戰術PSYO and 心理操作 |
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 |
|