Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| RecoveryOperation(recovery operation) |
| appearance as argument number 1 |
|
| (subclass RecoveryOperation DirectActionActivity) | MilitaryProcesses.kif 552-552 | Recovery operation is a subclass of direct action activity |
| (documentation RecoveryOperation EnglishLanguage "These are operations conducted to search for, locate, identify, rescue, and return personnel, sensitive equipment, or items critical to national security. In layman terms, it means that the enemy got hold of personenel or objects which the agent once had. The agent wanted to claim them back. The agent went out to get it back and succeeded.") | MilitaryProcesses.kif 553-557 | Recovery operation is a subclass of direct action activity |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?RO RecoveryOperation) (patient ?RO ?O) (agent ?RO ?A)) (exists (?CC) (and (instance ?CC ChangeOfControl) (earlier ?CC ?RO) (patient ?CC ?O) (agent ?CC ?E) (enemy ?A ?E) (holdsDuring (PastFn (WhenFn ?CC)) (possesses ?A ?O)) (losesControl ?CC ?A)))) |
MilitaryProcesses.kif 559-575 | If X is an instance of recovery operation, Y is a patient of X, and Z is an agent of X, then All of the following hold: (1) there exists W such that W is an instance of change of control (2) W happens earlier than X (3) Y is a patient of W (4) V is an agent of W (5) Z (6) V are enemies of each other (7) Z possesses Y holds during before the time of existence of W (8) Z loses physical control of some object during W |
| (=> (and (instance ?RO RecoveryOperation) (agent ?RO ?A) (patient ?RO ?O) (holdsDuring (PastFn (WhenFn ?RO)) (possesses ?A ?O))) (exists (?AC) (and (instance ?AC AchievingControl) (destination ?RO ?AC) (result ?RO ?AC) (controlled ?AC ?O) (gainsControl ?AC ?A)))) |
MilitaryProcesses.kif 577-592 | If X is an instance of recovery operation, Y is an agent of X, Z is a patient of X, and Y possesses Z holds during before the time of existence of X, then there exists W such that W is an instance of achieving control, X ends up at W, W is a result of X, Z comes to be physically controlled by an agent during W, and Y gains physical control over some object during W |
|