(subclass OperationPlan Plan) | MilitaryProcesses.kif 1543-1543 | |
(subclass CONPLAN OperationPlan) | MilitaryProcesses.kif 1606-1606 | |
(subclass OPLAN OperationPlan) | MilitaryProcesses.kif 1782-1782 | |
(subclass CounterTerrorismStrategy OperationPlan) | MilitaryProcesses.kif 2076-2076 |