| No TPTP formula. May not be expressible in strict first order. | Military.kif 271-271 | 子類 委任軍官級別 and 軍銜 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 319-319 | 子類 國旗官員級別 and 委任軍官級別 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 325-325 | 子類 現場等級軍官等級 and 委任軍官級別 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 331-331 | 子類 公司等級排名 and 委任軍官級別 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 605-605 | 子類 美國準尉軍銜 and 委任軍官級別 |
|
|