![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
USMilitaryRankE5
|
|
|
| appearance as argument number 1 |
|
|
| (instance USMilitaryRankE5 JuniorNCORank) | Military.kif 673-673 | Petty officer is an instance of juniorNCO rank |
| (instance USMilitaryRankE5 USMilitaryRank) | Military.kif 674-674 | Petty officer is an instance of US military rank |
| (subAttribute USMilitaryRankE5 Soldier) | Military.kif 675-675 | Petty officer is a subattribute of soldier |
| (documentation USMilitaryRankE5 EnglishLanguage "A USMilitaryRank that is variously called Staff Sergeant in the Air Force, Sergeant in the USArmy, Sergeant in the USMarineCorps, and Petty Officer 2nd Class in the USNavy.") | Military.kif 676-678 | Petty officer is a subattribute of soldier |
| (successorAttribute USMilitaryRankE5 USMilitaryRankE6) | Military.kif 685-685 | Petty officer is an immediate successor attribute of petty officer |
| appearance as argument number 2 |
|
|