|
|
  USMilitaryRankE4
|
|
|
| appearance as argument number 1 |
|
|
| (documentation USMilitaryRankE4 EnglishLanguage "A USMilitaryRank that is variously called Senior Airman in the Air Force, Specialist or Corporal in the USArmy, Corporal in the USMarineCorps, and Petty Officer 3rd Class in the USNavy.") | Military.kif 388-390 | |
| (instance USMilitaryRankE4 PrivateRank) | Military.kif 385-385 | USMilitaryRankE4 は PrivateRank の instance では %n |
| (instance USMilitaryRankE4 USMilitaryRank) | Military.kif 386-386 | USMilitaryRankE4 は USMilitaryRank の instance では %n |
| (subAttribute USMilitaryRankE4 Soldier) | Military.kif 387-387 | USMilitaryRankE4 は Soldier の subattribute では %n |
| (successorAttribute USMilitaryRankE4 USMilitaryRankE5) | Military.kif 397-397 | USMilitaryRankE4 は USMilitaryRankE5 の immediate successor attribute では %n |
| appearance as argument number 2 |
|
|
|
|
|