USMilitaryRankO3(US military rank o3) | ![]() | captain |
appearance as argument number 1 |
![]() |
(instance USMilitaryRankO3 CompanyGradeRank) | Military.kif 580-580 | US military rank o3 is an instance of company grade rank |
(instance USMilitaryRankO3 USMilitaryRank) | Military.kif 581-581 | US military rank o3 is an instance of US military rank |
(subAttribute USMilitaryRankO3 Soldier) | Military.kif 582-582 | US military rank o3 is a subattribute of soldier |
(successorAttribute USMilitaryRankO3 USMilitaryRankO4) | Military.kif 589-589 | US military rank o3 is an immediate successor attribute of US military rank o4 |
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 |
![]() |
![]() |