Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |
|
|
| (subclass EnlistedSoldierRank MilitaryRank) | Military.kif 541-541 | Enlisted soldier rank is a subclass of military rank |
| (documentation EnlistedSoldierRank EnglishLanguage "Soldiers who are enlisted in some military and have no command.") | Military.kif 542-543 | Enlisted soldier rank is a subclass of military rank |
| (disjointDecomposition EnlistedSoldierRank PrivateRank NonCommissionedOfficerRank) | Military.kif 544-544 | Enlisted soldier rank is disjointly decomposed into private rank and non commissioned officer rank |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (attribute ?C Corpsman) (attribute ?C EnlistedSoldierRank)) |
MilitaryPersons.kif 758-760 | If hospital corpsman is an attribute of X, then enlisted soldier rank is an attribute of X |
|