![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| USMilitaryRankE6(petty officer) | staff_sergeant, technical_sergeant |
| appearance as argument number 1 |
|
|
| (instance USMilitaryRankE6 JuniorNCORank) | Military.kif 686-686 | Petty officer is an instance of juniorNCO rank |
| (instance USMilitaryRankE6 USMilitaryRank) | Military.kif 687-687 | Petty officer is an instance of US military rank |
| (subAttribute USMilitaryRankE6 Soldier) | Military.kif 688-688 | Petty officer is a subattribute of soldier |
| (documentation USMilitaryRankE6 EnglishLanguage "A USMilitaryRank that is variously called Technical Sergeant in the Air Force, Staff Sergeant in the USArmy, Staff Sergeant in the USMarineCorps, and Petty Officer 1st Class in the USNavy.") | Military.kif 689-691 | Petty officer is a subattribute of soldier |
| (successorAttribute USMilitaryRankE6 USMilitaryRankE7) | Military.kif 698-698 | Petty officer is an immediate successor attribute of chief petty officer |
| appearance as argument number 2 |
|
|