| EnlistedSoldierRank(enlisted soldier rank) | | Jack, Jack-tar, enlisted_man, enlisted_person, gob, mariner, old_salt, recruiting-sergeant, sea_dog, seafarer, seaman, tar |
| appearance as argument number 1 |
|
|
| (disjointDecomposition EnlistedSoldierRank PrivateRank NonCommissionedOfficerRank) | Military.kif 336-336 | Enlisted soldier rank is disjointly decomposed into private rank and non commissioned officer rank |
| (documentation EnlistedSoldierRank EnglishLanguage "Soldiers who are enlisted in some military and have no command.") | Military.kif 334-335 | Enlisted soldier rank is disjointly decomposed into private rank and non commissioned officer rank |
| (subclass EnlistedSoldierRank MilitaryRank) | Military.kif 333-333 | Enlisted soldier rank is a subclass of military rank |
| appearance as argument number 2 |
|
|
| (subclass NonCommissionedOfficerRank EnlistedSoldierRank) | Military.kif 366-366 | Non commissioned officer rank is a subclass of enlisted soldier rank |
| (subclass PrivateRank EnlistedSoldierRank) | Military.kif 381-381 | Private rank is a subclass of enlisted soldier rank |
| (termFormat ChineseLanguage EnlistedSoldierRank "士兵军衔") | domainEnglishFormat.kif 22190-22190 | Private rank is a subclass of enlisted soldier rank |
| (termFormat ChineseTraditionalLanguage EnlistedSoldierRank "士兵軍銜") | domainEnglishFormat.kif 22189-22189 | Private rank is a subclass of enlisted soldier rank |
| (termFormat EnglishLanguage EnlistedSoldierRank "enlisted soldier rank") | domainEnglishFormat.kif 22188-22188 | Private rank is a subclass of enlisted soldier rank |
| consequent |
|
|
| (=> (attribute ?C Corpsman) (attribute ?C EnlistedSoldierRank)) |
MilitaryPersons.kif 755-757 |
|
|
|
|