| USMilitaryRankE9(US military rank e9) | | command_sergeant_major, sergeant_major |
| appearance as argument number 1 |
|
|
| (documentation USMilitaryRankE9 EnglishLanguage "A USMilitaryRank that is variously called Chief Master Sergeant or Command Chief Master Sergeant or Chief Master Sergeant of the Air Force in the Air Force, Sergeant Major or Command Sergeant Major or Sergeant Major of the Army in the USArmy, Master Gunnery Sergeant or Sergeant Major or Sergeant Major of the Marine Corps in the USMarineCorps, and Master Chief Petty Officer or Command Master Chief Petty Officer or Master Chief Petty Officer of the Navy in the USNavy.") | Military.kif 520-527 | |
| (instance USMilitaryRankE9 SeniorNCORank) | Military.kif 517-517 | US military rank e9 is an instance of seniorNCO rank |
| (instance USMilitaryRankE9 USMilitaryRank) | Military.kif 518-518 | US military rank e9 is an instance of US military rank |
| (subAttribute USMilitaryRankE9 Soldier) | Military.kif 519-519 | US military rank e9 is a subattribute of soldier |
| (successorAttribute USMilitaryRankE9 USMilitaryRankE9special) | Military.kif 536-536 | US military rank e9 is an immediate successor attribute of US military rank e9special |
| (successorAttribute USMilitaryRankE9 USMilitaryRankO1) | Military.kif 549-549 | US military rank e9 is an immediate successor attribute of US military rank o1 |
| appearance as argument number 2 |
|
|
|
|
|