(subclass SecurityOperation MilitaryOperation) | Military.kif 80-80 | SecurityOperation は MilitaryOperation の subclass では %n |
(subclass SecurityPatrol SecurityOperation) | MilitaryProcesses.kif 2689-2689 | SecurityPatrol は SecurityOperation の subclass では %n |