| USMilitaryRankE7(US military rank e7) | | chief_petty_officer, first_sergeant, gunnery_sergeant, sergeant_first_class |
| appearance as argument number 1 |
|
|
| (documentation USMilitaryRankE7 EnglishLanguage "A USMilitaryRank that is variously called Master Sergeant in the Air Force, Sergeant First Class in the USArmy, Gunnery Sergeant in the USMarineCorps, and Chief Petty Officer in the USNavy.") | Military.kif 427-429 | |
| (instance USMilitaryRankE7 SeniorNCORank) | Military.kif 424-424 | US military rank e7 is an instance of seniorNCO rank |
| (instance USMilitaryRankE7 USMilitaryRank) | Military.kif 425-425 | US military rank e7 is an instance of US military rank |
| (subAttribute USMilitaryRankE7 Soldier) | Military.kif 426-426 | US military rank e7 is a subattribute of soldier |
| (successorAttribute USMilitaryRankE7 USMilitaryRankE8) | Military.kif 436-436 | US military rank e7 is an immediate successor attribute of US military rank e8 |
| appearance as argument number 2 |
|
|
|
|
|