| (subclass OperationPlan Plan) | MilitaryProcesses.kif 1543-1543 | OperationPlan は 計画 の subclass では %n |
| (subclass CONPLAN OperationPlan) | MilitaryProcesses.kif 1606-1606 | CONPLAN は OperationPlan の subclass では %n |
| (subclass OPLAN OperationPlan) | MilitaryProcesses.kif 1782-1782 | OPLAN は OperationPlan の subclass では %n |
| (subclass CounterTerrorismStrategy OperationPlan) | MilitaryProcesses.kif 2076-2076 | CounterTerrorismStrategy は OperationPlan の subclass では %n |
|
|