USMilitaryRankSpecial(US military rank special) | five-star_admiral, fleet_admiral |
appearance as argument number 1 |
(instance USMilitaryRankSpecial FlagOfficerRank) | Military.kif 595-595 | US military rank special is an instance of flag officer rank |
(instance USMilitaryRankSpecial USMilitaryRank) | Military.kif 596-596 | US military rank special is an instance of US military rank |
(subAttribute USMilitaryRankSpecial Soldier) | Military.kif 597-597 | US military rank special is a subattribute of soldier |
appearance as argument number 2 |