TreeView Knowledge Base Browser - CommissionedOfficerRank

appearance as argument number 1

(disjointDecomposition CommissionedOfficerRank FlagOfficerRank FieldGradeOfficerRank CompanyGradeRank)	Military.kif 283-284	CommissionedOfficerRank wird zusammenhanglos auf FlagOfficerRank, FieldGradeOfficerRank, und CompanyGradeRank disjunkt
(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 272-282
(subclass CommissionedOfficerRank MilitaryRank)	Military.kif 271-271	CommissionedOfficerRank ist eine teilkategorie von MilitaryRank

appearance as argument number 2

(instance USMilitaryRankWO2 CommissionedOfficerRank)	Military.kif 637-637	USMilitaryRankWO2 ist ein fall von CommissionedOfficerRank %n{nicht}
(instance USMilitaryRankWO3 CommissionedOfficerRank)	Military.kif 647-647	USMilitaryRankWO3 ist ein fall von CommissionedOfficerRank %n{nicht}
(instance USMilitaryRankWO4 CommissionedOfficerRank)	Military.kif 657-657	USMilitaryRankWO4 ist ein fall von CommissionedOfficerRank %n{nicht}
(instance USMilitaryRankWO5 CommissionedOfficerRank)	Military.kif 667-667	USMilitaryRankWO5 ist ein fall von CommissionedOfficerRank %n{nicht}
(subclass CompanyGradeRank CommissionedOfficerRank)	Military.kif 331-331	CompanyGradeRank ist eine teilkategorie von CommissionedOfficerRank
(subclass FieldGradeOfficerRank CommissionedOfficerRank)	Military.kif 325-325	FieldGradeOfficerRank ist eine teilkategorie von CommissionedOfficerRank
(subclass FlagOfficerRank CommissionedOfficerRank)	Military.kif 319-319	FlagOfficerRank ist eine teilkategorie von CommissionedOfficerRank
(subclass USWarrantOfficerRank CommissionedOfficerRank)	Military.kif 605-605	USWarrantOfficerRank ist eine teilkategorie von CommissionedOfficerRank
(termFormat ChineseLanguage CommissionedOfficerRank "委任军官级别")	domainEnglishFormat.kif 15894-15894
(termFormat ChineseTraditionalLanguage CommissionedOfficerRank "委任軍官級別")	domainEnglishFormat.kif 15893-15893
(termFormat EnglishLanguage CommissionedOfficerRank "commissioned officer rank")	domainEnglishFormat.kif 15892-15892

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 286-297

Wenn Attribute ist ein attribut von AutonomousAgent %n{nicht} und ** Attribute ist ein fall von CommissionedOfficerRank %n{nicht},
dann es gibt Process und Object um ** Process ist ein fall von Managing %n{nicht} und ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** Object ist ein patient von ** Process %n{nicht} und ** Object ist ein fall von MilitaryOrganization %n{nicht} oder Soldier ist ein attribut von ** Object %n{nicht}