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