| No TPTP formula. May not be expressible in strict first order. | Military.kif 271-271 | CommissionedOfficerRank e' uma sub-classe de MilitaryRank |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 319-319 | FlagOfficerRank e' uma sub-classe de CommissionedOfficerRank |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 325-325 | FieldGradeOfficerRank e' uma sub-classe de CommissionedOfficerRank |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 331-331 | CompanyGradeRank e' uma sub-classe de CommissionedOfficerRank |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 605-605 | USWarrantOfficerRank e' uma sub-classe de CommissionedOfficerRank |
|
|