No TPTP formula. May not be expressible in strict first order. | Military.kif 299-299 | Non commissioned officer rank is a subclass of enlisted soldier rank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 308-308 | JuniorNCO rank is a subclass of non commissioned officer rank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 311-311 | SeniorNCO rank is a subclass of non commissioned officer rank |