Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   ShortSale
|
|
|
| appearance as argument number 1 |
|
|
| (instance USMilitaryRankE4 PrivateRank) | Military.kif 660-660 | Petty officer is an instance of private rank |
| (instance USMilitaryRankE4 USMilitaryRank) | Military.kif 661-661 | Petty officer is an instance of US military rank |
| (subAttribute USMilitaryRankE4 Soldier) | Military.kif 662-662 | Petty officer is a subattribute of soldier |
| (documentation USMilitaryRankE4 EnglishLanguage "A USMilitaryRank that is variously called Senior Airman in the Air Force, Specialist or Corporal in the USArmy, Corporal in the USMarineCorps, and Petty Officer 3rd Class in the USNavy.") | Military.kif 663-665 | Petty officer is a subattribute of soldier |
| (successorAttribute USMilitaryRankE4 USMilitaryRankE5) | Military.kif 672-672 | Petty officer is an immediate successor attribute of petty officer |
| appearance as argument number 2 |
|
|
|