Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   SupportIO
|
|
|
| appearance as argument number 1 |
|
|
| (subclass SupportIO PsychologicalOperation) | MilitaryProcesses.kif 1355-1355 | SupportIO is a subclass of psychological operation |
| (subclass SupportIO Helping) | MilitaryProcesses.kif 1356-1356 | SupportIO is a subclass of helping |
| (documentation SupportIO EnglishLanguage "PSYOP Support to Information Operations. PSYOP are a core capability of IO. PSYOP activities are integrated into IO plans and synchronized with IO objectives and themes. Mission-type orders and decentralized execution can give PSYOP forces considerable autonomy to conduct tactical operations within established IO guidance. For additional information on PSYOP, see JP 3-53, Doctrine for Joint Psychological Operations.") | MilitaryProcesses.kif 1357-1363 | SupportIO is a subclass of helping |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SupportIO "support operation for information operations") | MilitaryProcesses.kif 3003-3003 | |
| (termFormat EnglishLanguage SupportIO "supportIO") | domainEnglishFormat.kif 56240-56240 | |
| (termFormat ChineseTraditionalLanguage SupportIO "支持IO") | domainEnglishFormat.kif 56241-56241 | |
| (termFormat ChineseLanguage SupportIO "支持IO") | domainEnglishFormat.kif 56242-56242 |
| antecedent |
|
|
| (=> (and (instance ?SIO SupportIO) (patient ?SIO ?OP)) (instance ?OP InformationOperation)) |
MilitaryProcesses.kif 1365-1369 | If X is an instance of supportIO and Y is a patient of X, then Y is an instance of information operation |
|