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