| 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 494-496 | |
| (instance USMilitaryRankE7 SeniorNCORank) | Military.kif 491-491 | US military rank e7 is an instance of seniorNCO rank |
| (instance USMilitaryRankE7 USMilitaryRank) | Military.kif 492-492 | US military rank e7 is an instance of US military rank |
| (subAttribute USMilitaryRankE7 Soldier) | Military.kif 493-493 | US military rank e7 is a subattribute of soldier |
| (successorAttribute USMilitaryRankE7 USMilitaryRankE8) | Military.kif 503-503 | US military rank e7 is an immediate successor attribute of US military rank e8 |
| appearance as argument number 2 |
|
|
|
|
|