No TPTP formula. May not be expressible in strict first order. | Military.kif 299-299 | 子類 非委任軍官級別 and 士兵軍銜 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 308-308 | 子類 初級NCO排名 and 非委任軍官級別 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 311-311 | 子類 高級NCO排名 and 非委任軍官級別 |