FlagOfficerRank(flag officer rank) | flag_officer, general_officer, generalcy, generalship |
appearance as argument number 1 |
(documentation FlagOfficerRank EnglishLanguage "Admirals (Navy), Generals (Army) and Marshals who typically command units that are expected to operate independently for extended periods of time (brigades and larger, fleets of ships). (from Wikipedia)") | Military.kif 320-323 | |
(subclass FlagOfficerRank CommissionedOfficerRank) | Military.kif 319-319 | Flag officer rank is a subclass of commissioned officer rank |
appearance as argument number 2 |