| (subclass MilitaryForce PoliticalOrganization) | Merge.kif 16656-16656 | MilitaryForce は 政治組織 の subclass では %n |
| (subclass AmphibiousReconnaissanceUnit MilitaryForce) | MilitaryProcesses.kif 792-792 | AmphibiousReconnaissanceUnit は MilitaryForce の subclass では %n |
| (subclass CivilAffairs MilitaryForce) | MilitaryProcesses.kif 2340-2340 | CivilAffairs は MilitaryForce の subclass では %n |
| (subclass MilitaryOrganization MilitaryForce) | Merge.kif 16666-16666 | MilitaryOrganization は MilitaryForce の subclass では %n |
| (subclass ParamilitaryOrganization MilitaryForce) | Merge.kif 16672-16672 | ParamilitaryOrganization は MilitaryForce の subclass では %n |
|
|