Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| InformationOperation(information operation) |
| appearance as argument number 1 |
|
| (subclass InformationOperation MilitaryOperation) | MilitaryProcesses.kif 1872-1872 | Information operation is a subclass of military operation |
| (documentation InformationOperation EnglishLanguage "Actions taken to affect adversary information and information systems while defending one's own information and information systems. Also called IO. See also defensive information operations, information, offensive information operations, operation. ") | MilitaryProcesses.kif 1873-1877 | Information operation is a subclass of military operation |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (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 |
|