USMilitaryRankO9(US military rank o9) | lieutenant_general, vice_admiral |
appearance as argument number 1 |
(instance USMilitaryRankO9 FlagOfficerRank) | Military.kif 569-569 | US military rank o9 is an instance of flag officer rank |
(instance USMilitaryRankO9 USMilitaryRank) | Military.kif 570-570 | US military rank o9 is an instance of US military rank |
(subAttribute USMilitaryRankO9 Soldier) | Military.kif 571-571 | US military rank o9 is a subattribute of soldier |
(successorAttribute USMilitaryRankO9 USMilitaryRankO10) | Military.kif 581-581 | US military rank o9 is an immediate successor attribute of US military rank o10 |
appearance as argument number 2 |