USMilitaryRankO5
|
|
appearance as argument number 1 |
(instance USMilitaryRankO5 FieldGradeOfficerRank) | Military.kif 523-523 | USMilitaryRankO5 ist ein fall von FieldGradeOfficerRank %n{nicht} |
(instance USMilitaryRankO5 USMilitaryRank) | Military.kif 524-524 | USMilitaryRankO5 ist ein fall von USMilitaryRank %n{nicht} |
(subAttribute USMilitaryRankO5 Soldier) | Military.kif 525-525 | USMilitaryRankO5 ist ein teilattribut von Soldier |
(successorAttribute USMilitaryRankO5 USMilitaryRankO6) | Military.kif 532-532 | USMilitaryRankO5 ist ein direkter nachfolgerattribut von USMilitaryRankO6 |
appearance as argument number 2 |