| CommissionedOfficerRank | |
| appearance as argument number 1 |
|
|
| (disjointDecomposition CommissionedOfficerRank FlagOfficerRank FieldGradeOfficerRank CompanyGradeRank) | Military.kif 350-351 | |
| (documentation CommissionedOfficerRank EnglishLanguage "In military organizations, an officer is a member of the service who holds a position of responsibility. Commissioned officers derive authority directly from a sovereign power and, as such, hold a commission charging them with the duties and responsibilities of a specific office or position. Commissioned officers are typically the only persons in a military able to exercise command (according to the most technical definition of the word) over a military unit. Non_commissioned officers 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. (from Wikipedia)") | Military.kif 339-349 | |
| (subclass CommissionedOfficerRank MilitaryRank) | Military.kif 338-338 |
| appearance as argument number 2 |
|
|
| (instance USMilitaryRankWO2 CommissionedOfficerRank) | Military.kif 704-704 | |
| (instance USMilitaryRankWO3 CommissionedOfficerRank) | Military.kif 714-714 | |
| (instance USMilitaryRankWO4 CommissionedOfficerRank) | Military.kif 724-724 | |
| (instance USMilitaryRankWO5 CommissionedOfficerRank) | Military.kif 734-734 | |
| (subclass CompanyGradeRank CommissionedOfficerRank) | Military.kif 398-398 | |
| (subclass FieldGradeOfficerRank CommissionedOfficerRank) | Military.kif 392-392 | |
| (subclass FlagOfficerRank CommissionedOfficerRank) | Military.kif 386-386 | |
| (subclass USWarrantOfficerRank CommissionedOfficerRank) | Military.kif 672-672 | |
| (termFormat ChineseLanguage CommissionedOfficerRank "委任军官级别") | domainEnglishFormat.kif 15909-15909 | |
| (termFormat ChineseTraditionalLanguage CommissionedOfficerRank "委任軍官級別") | domainEnglishFormat.kif 15908-15908 | |
| (termFormat EnglishLanguage CommissionedOfficerRank "commissioned officer rank") | domainEnglishFormat.kif 15907-15907 |
| antecedent |
|
|
| (=> (and (attribute ?OFFICER ?COR) (instance ?COR CommissionedOfficerRank)) (exists (?MANAGE ?PATIENT) (and (instance ?MANAGE Managing) (agent ?MANAGE ?OFFICER) (patient ?MANAGE ?PATIENT) (or (instance ?PATIENT MilitaryOrganization) (attribute ?PATIENT Soldier))))) |
Military.kif 353-364 |
|
|
|