(subclass SecurityOperation MilitaryOperation) | Military.kif 80-80 | SecurityOperation est une sous-classe de MilitaryOperation |
(subclass SecurityPatrol SecurityOperation) | MilitaryProcesses.kif 2689-2689 | SecurityPatrol est une sous-classe de SecurityOperation |