USMilitaryRankO2 |
appearance as argument number 1 |
(instance USMilitaryRankO2 CompanyGradeRank) | Military.kif 493-493 | USMilitaryRankO2 e' uma instancia de CompanyGradeRank |
(instance USMilitaryRankO2 USMilitaryRank) | Military.kif 494-494 | USMilitaryRankO2 e' uma instancia de USMilitaryRank |
(subAttribute USMilitaryRankO2 Soldier) | Military.kif 495-495 | USMilitaryRankO2 e' um sub-atributo de Soldier |
(successorAttribute USMilitaryRankO2 USMilitaryRankO3) | Military.kif 502-502 | USMilitaryRankO2 e' um atributo sucessor immediato de USMilitaryRankO3 |
appearance as argument number 2 |