| USMilitaryRankO4(US military rank o4) | | lieutenant_commander |
| appearance as argument number 1 |
|
|
| (instance USMilitaryRankO4 FieldGradeOfficerRank) | Military.kif 590-590 | US military rank o4 is an instance of field grade officer rank |
| (instance USMilitaryRankO4 USMilitaryRank) | Military.kif 591-591 | US military rank o4 is an instance of US military rank |
| (subAttribute USMilitaryRankO4 Soldier) | Military.kif 592-592 | US military rank o4 is a subattribute of soldier |
| (successorAttribute USMilitaryRankO4 USMilitaryRankO5) | Military.kif 599-599 | US military rank o4 is an immediate successor attribute of US military rank o5 |
| appearance as argument number 2 |
|
|
| statement |
|
|
| (commandRankOfEchelon CompanyMilitary (UnionFn USMilitaryRankO3 USMilitaryRankO4)) |
Military.kif 819-820 | The union of US military rank o3 and US military rank o4 is a command rank of echelon of company- military |
|
|
|