| 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 387-390 | |
| (subclass FlagOfficerRank CommissionedOfficerRank) | Military.kif 386-386 | Flag officer rank is a subclass of commissioned officer rank |
| appearance as argument number 2 |
|
|
|
|
|