![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
NaturalSubstance
|
|
|
| appearance as argument number 1 |
|
|
| (subclass NonCommissionedOfficerRank EnlistedSoldierRank) | Military.kif 574-574 | Non commissioned officer rank is a subclass of enlisted soldier rank |
| (documentation NonCommissionedOfficerRank EnglishLanguage "Non-commissioned officers, or NCOs, in positions of authority can be said to have control or charge rather than command per se, although the use of the word command to describe any use of authority is widespread and often official. This is distinguished from the official responsibility for command entrusted to a CommissionedOfficer. NCOs are enlisted positions. (from Wikipedia)") | Military.kif 575-580 | Non commissioned officer rank is a subclass of enlisted soldier rank |
| (disjointDecomposition NonCommissionedOfficerRank JuniorNCORank SeniorNCORank) | Military.kif 581-581 | Non commissioned officer rank is disjointly decomposed into juniorNCO rank and seniorNCO rank |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|