(subclass SecurityPatrol SecurityOperation) | MilitaryProcesses.kif 2689-2689 | SecurityPatrol ist eine teilkategorie von SecurityOperation |
(subclass SecurityPatrol Patrol) | MilitaryProcesses.kif 2690-2690 | SecurityPatrol ist eine teilkategorie von Patrol |