| (subclass MilitaryForce PoliticalOrganization) | Merge.kif 16678-16678 | Military force is a subclass of political organization |
| (subclass AmphibiousReconnaissanceUnit MilitaryForce) | MilitaryProcesses.kif 792-792 | Amphibious reconnaissance unit is a subclass of military force |
| (subclass CivilAffairs MilitaryForce) | MilitaryProcesses.kif 2340-2340 | Civil affairs is a subclass of military force |
| (subclass MilitaryOrganization MilitaryForce) | Merge.kif 16688-16688 | Military organization is a subclass of military force |
| (subclass ParamilitaryOrganization MilitaryForce) | Merge.kif 16694-16694 | Paramilitary organization is a subclass of military force |
|
|