| PsychologicalOperation | |
| 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 | PsychologicalOperation est une sous-classe de MilitaryOperation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2070-2070 | CTNonKineticActivity est une sous-classe de PsychologicalOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1196-1196 | DevelopPrograms est une sous-classe de PsychologicalOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1217-1217 | DisseminateProducts est une sous-classe de PsychologicalOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1210-1210 | DistributeProducts est une sous-classe de PsychologicalOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1224-1224 | ProduceStudies est une sous-classe de PsychologicalOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1255-1255 | SupportCI est une sous-classe de PsychologicalOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1271-1271 | SupportDC est une sous-classe de PsychologicalOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1240-1240 | SupportEPW est une sous-classe de PsychologicalOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1286-1286 | SupportHNAssistance est une sous-classe de PsychologicalOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1333-1333 | SupportIO est une sous-classe de PsychologicalOperation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1305-1305 | TacticalPSYOP est une sous-classe de PsychologicalOperation |
| 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 |
|
|
|