(subclass OperationPlanning MilitaryOperation) | MilitaryProcesses.kif 1521-1521 | OperationPlanning は MilitaryOperation の subclass では %n |
(subclass OperationPlanning Planning) | MilitaryProcesses.kif 1522-1522 | OperationPlanning は 計画 の subclass では %n |
(subclass JointOperationPlanning OperationPlanning) | MilitaryProcesses.kif 1762-1762 | JointOperationPlanning は OperationPlanning の subclass では %n |