(subclass OperationPlanning MilitaryOperation) | MilitaryProcesses.kif 1521-1521 | OperationPlanning e' uma sub-classe de MilitaryOperation |
(subclass OperationPlanning Planning) | MilitaryProcesses.kif 1522-1522 | OperationPlanning e' uma sub-classe de Planejar |
(subclass JointOperationPlanning OperationPlanning) | MilitaryProcesses.kif 1762-1762 | JointOperationPlanning e' uma sub-classe de OperationPlanning |