| (subclass ForeignInternalDefense MilitaryOperation) | MilitaryProcesses.kif 1905-1905 | ForeignInternalDefense は MilitaryOperation の subclass では %n |
| (subclass ForeignInternalDefense Helping) | MilitaryProcesses.kif 1906-1906 | ForeignInternalDefense は Helping の subclass では %n |
| (subclass HNMilitaryAssistance ForeignInternalDefense) | MilitaryProcesses.kif 1977-1977 | HNMilitaryAssistance は ForeignInternalDefense の subclass では %n |
| (subclass PopulationSecurity ForeignInternalDefense) | MilitaryProcesses.kif 1986-1986 | PopulationSecurity は ForeignInternalDefense の subclass では %n |
|
|