| 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 269-269 | 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 267-268 | Enlisted soldier rank is disjointly decomposed into private rank and non commissioned officer rank |
| (subclass EnlistedSoldierRank MilitaryRank) | Military.kif 266-266 | Enlisted soldier rank is a subclass of military rank |
| appearance as argument number 2 |
|
|
| (subclass NonCommissionedOfficerRank EnlistedSoldierRank) | Military.kif 299-299 | Non commissioned officer rank is a subclass of enlisted soldier rank |
| (subclass PrivateRank EnlistedSoldierRank) | Military.kif 314-314 | Private rank is a subclass of enlisted soldier rank |
| (termFormat ChineseLanguage EnlistedSoldierRank "士兵军衔") | domainEnglishFormat.kif 22196-22196 | Private rank is a subclass of enlisted soldier rank |
| (termFormat ChineseTraditionalLanguage EnlistedSoldierRank "士兵軍銜") | domainEnglishFormat.kif 22195-22195 | Private rank is a subclass of enlisted soldier rank |
| (termFormat EnglishLanguage EnlistedSoldierRank "enlisted soldier rank") | domainEnglishFormat.kif 22194-22194 | Private rank is a subclass of enlisted soldier rank |
| consequent |
|
|
| (=> (attribute ?C Corpsman) (attribute ?C EnlistedSoldierRank)) |
MilitaryPersons.kif 743-745 |
|
|
|
|