| USMilitaryRankO5(US military rank o5) | | commander, lieutenant_colonel, light_colonel |
| appearance as argument number 1 |
|
|
| (instance USMilitaryRankO5 FieldGradeOfficerRank) | Military.kif 600-600 | US military rank o5 is an instance of field grade officer rank |
| (instance USMilitaryRankO5 USMilitaryRank) | Military.kif 601-601 | US military rank o5 is an instance of US military rank |
| (subAttribute USMilitaryRankO5 Soldier) | Military.kif 602-602 | US military rank o5 is a subattribute of soldier |
| (successorAttribute USMilitaryRankO5 USMilitaryRankO6) | Military.kif 609-609 | US military rank o5 is an immediate successor attribute of US military rank o6 |
| appearance as argument number 2 |
|
|
|
|
|