(subclass OperationPlanning MilitaryOperation) | MilitaryProcesses.kif 1521-1521 | OperationPlanning est une sous-classe de MilitaryOperation |
(subclass OperationPlanning Planning) | MilitaryProcesses.kif 1522-1522 | OperationPlanning est une sous-classe de planifier |
(subclass JointOperationPlanning OperationPlanning) | MilitaryProcesses.kif 1762-1762 | JointOperationPlanning est une sous-classe de OperationPlanning |