| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16656-16656 | 子類 軍事力量 and PoliticalOrganization |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 792-792 | 子類 兩棲偵察部隊 and 軍事力量 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2340-2340 | 子類 民政 and 軍事力量 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16666-16666 | 子類 軍事組織 and 軍事力量 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16672-16672 | 子類 輔助的軍事組織 and 軍事力量 |
|
|