USMilitaryRankO2 |
appearance as argument number 1 |
(instance USMilitaryRankO2 CompanyGradeRank) | Military.kif 493-493 | USMilitaryRankO2 は CompanyGradeRank の instance では %n |
(instance USMilitaryRankO2 USMilitaryRank) | Military.kif 494-494 | USMilitaryRankO2 は USMilitaryRank の instance では %n |
(subAttribute USMilitaryRankO2 Soldier) | Military.kif 495-495 | USMilitaryRankO2 は Soldier の subattribute では %n |
(successorAttribute USMilitaryRankO2 USMilitaryRankO3) | Military.kif 502-502 | USMilitaryRankO2 は USMilitaryRankO3 の immediate successor attribute では %n |
appearance as argument number 2 |