Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   MilitaryRank
|
|
|
| appearance as argument number 1 |
|
|
| (subclass MilitaryRank SkilledOccupation) | Military.kif 520-520 | Military rank is a subclass of skilled occupation |
| (documentation MilitaryRank EnglishLanguage "The class of Positions in a Military. Rank is usually commensurate with degrees of power, prestige and pay.") | Military.kif 521-523 | Military rank is a subclass of skilled occupation |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain commandRankOfEchelon 2 MilitaryRank) | Military.kif 981-981 | The number 2 argument of command rank of echelon is an instance of military rank |
| antecedent |
|
|
| (=> (and (attribute ?P ?R) (instance ?R MilitaryRank)) (member ?P MilitaryService)) |
Military.kif 524-528 | If X is an attribute of Y and X is an instance of military rank, then Y is a member of military service |
|