(subclass MilitaryForce PoliticalOrganization) | Merge.kif 16656-16656 | |
(subclass AmphibiousReconnaissanceUnit MilitaryForce) | MilitaryProcesses.kif 792-792 | |
(subclass CivilAffairs MilitaryForce) | MilitaryProcesses.kif 2340-2340 | |
(subclass MilitaryOrganization MilitaryForce) | Merge.kif 16666-16666 | |
(subclass ParamilitaryOrganization MilitaryForce) | Merge.kif 16672-16672 |