(subclass OperationPlan Plan) | MilitaryProcesses.kif 1543-1543 | OperationPlan est une sous-classe de plan |
(subclass CONPLAN OperationPlan) | MilitaryProcesses.kif 1606-1606 | CONPLAN est une sous-classe de OperationPlan |
(subclass OPLAN OperationPlan) | MilitaryProcesses.kif 1782-1782 | OPLAN est une sous-classe de OperationPlan |
(subclass CounterTerrorismStrategy OperationPlan) | MilitaryProcesses.kif 2076-2076 | CounterTerrorismStrategy est une sous-classe de OperationPlan |