No TPTP formula. May not be expressible in strict first order. | Merge.kif 16656-16656 | Military force is a subclass of political organization |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 792-792 | Amphibious reconnaissance unit is a subclass of military force |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2340-2340 | Civil affairs is a subclass of military force |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16666-16666 | Military organization is a subclass of military force |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16672-16672 | Paramilitary organization is a subclass of military force |