| 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 375-377 | |
| (instance USMilitaryRankE3 PrivateRank) | Military.kif 372-372 | US military rank e3 is an instance of private rank |
| (instance USMilitaryRankE3 USMilitaryRank) | Military.kif 373-373 | US military rank e3 is an instance of US military rank |
| (subAttribute USMilitaryRankE3 Soldier) | Military.kif 374-374 | US military rank e3 is a subattribute of soldier |
| (successorAttribute USMilitaryRankE3 USMilitaryRankE4) | Military.kif 384-384 | US military rank e3 is an immediate successor attribute of US military rank e4 |
| appearance as argument number 2 |
|
|
|
|
|