USMilitaryRankO2(US military rank o2) | 1st_lieutenant, first_lieutenant, lieutenancy, lieutenant, lieutenant_JG, lieutenant_junior_grade |
appearance as argument number 1 |
(instance USMilitaryRankO2 CompanyGradeRank) | Military.kif 493-493 | US military rank o2 is an instance of company grade rank |
(instance USMilitaryRankO2 USMilitaryRank) | Military.kif 494-494 | US military rank o2 is an instance of US military rank |
(subAttribute USMilitaryRankO2 Soldier) | Military.kif 495-495 | US military rank o2 is a subattribute of soldier |
(successorAttribute USMilitaryRankO2 USMilitaryRankO3) | Military.kif 502-502 | US military rank o2 is an immediate successor attribute of US military rank o3 |
appearance as argument number 2 |