| USMilitaryRankE3(US military rank e3) | | lance_corporal |
| appearance as argument number 1 |
|
|
| (documentation USMilitaryRankE3 EnglishLanguage "A USMilitaryRank that is variously called Airman First Class in the Air Force, Private First Class in the USArmy, Lance Corporal in the USMarineCorps, and Seaman in the USNavy.") | Military.kif 442-444 | |
| (instance USMilitaryRankE3 PrivateRank) | Military.kif 439-439 | US military rank e3 is an instance of private rank |
| (instance USMilitaryRankE3 USMilitaryRank) | Military.kif 440-440 | US military rank e3 is an instance of US military rank |
| (subAttribute USMilitaryRankE3 Soldier) | Military.kif 441-441 | US military rank e3 is a subattribute of soldier |
| (successorAttribute USMilitaryRankE3 USMilitaryRankE4) | Military.kif 451-451 | US military rank e3 is an immediate successor attribute of US military rank e4 |
| appearance as argument number 2 |
|
|
|
|
|