| No TPTP formula. May not be expressible in strict first order. | Military.kif 745-745 | 子類 排 and 軍事單位 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 545-545 | 子類 LAR排 and 排 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 552-552 | 子類 迫擊砲排 and 排 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 594-594 | 子類 反裝甲排 and 排 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 611-611 | 子類 重MG排 and 排 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 658-658 | 子類 突擊兩棲動物排 and 排 |
|
|