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 |
![]() |
![]() |