PsychologicalOperation(psychological operation) | psychological_operation, psyop |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1106-1178 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1105-1105 | Psychological operation is a subclass of military operation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2070-2070 | CT non kinetic activity is a subclass of psychological operation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1196-1196 | Develop programs is a subclass of psychological operation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1217-1217 | Disseminate products is a subclass of psychological operation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1210-1210 | Distribute products is a subclass of psychological operation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1224-1224 | Produce studies is a subclass of psychological operation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1255-1255 | SupportCI is a subclass of psychological operation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1271-1271 | SupportDC is a subclass of psychological operation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1240-1240 | SupportEPW is a subclass of psychological operation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1286-1286 | SupportHN assistance is a subclass of psychological operation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1333-1333 | SupportIO is a subclass of psychological operation |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1305-1305 | TacticalPSYOP is a subclass of psychological operation |
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 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1184-1194 |
|