|
|
  USMilitaryRankO9
|
|
|
| appearance as argument number 1 |
|
|
| (instance USMilitaryRankO9 FlagOfficerRank) | Military.kif 569-569 | USMilitaryRankO9 は FlagOfficerRank の instance では %n |
| (instance USMilitaryRankO9 USMilitaryRank) | Military.kif 570-570 | USMilitaryRankO9 は USMilitaryRank の instance では %n |
| (subAttribute USMilitaryRankO9 Soldier) | Military.kif 571-571 | USMilitaryRankO9 は Soldier の subattribute では %n |
| (successorAttribute USMilitaryRankO9 USMilitaryRankO10) | Military.kif 581-581 | USMilitaryRankO9 は USMilitaryRankO10 の immediate successor attribute では %n |
| appearance as argument number 2 |
|
|
|
|
|