Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - CommissionedOfficerRank
CommissionedOfficerRank(委任军官级别)

appearance as argument number 1
-------------------------


(disjointDecomposition CommissionedOfficerRank FlagOfficerRank FieldGradeOfficerRank CompanyGradeRank) Military.kif 360-361 委任军官级别 分拆成不相交的 国旗官员级别, 现场等级军官等级, 和 公司等级排名
(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 349-359 委任军官级别 分拆成不相交的 国旗官员级别, 现场等级军官等级, 和 公司等级排名
(subclass CommissionedOfficerRank MilitaryRank) Military.kif 348-348 委任军官级别军衔subclass

appearance as argument number 2
-------------------------


(instance USMilitaryRankWO2 CommissionedOfficerRank) Military.kif 714-714 美国军衔o2委任军官级别instance
(instance USMilitaryRankWO3 CommissionedOfficerRank) Military.kif 724-724 美军军衔W3委任军官级别instance
(instance USMilitaryRankWO4 CommissionedOfficerRank) Military.kif 734-734 美军军衔o4委任军官级别instance
(instance USMilitaryRankWO5 CommissionedOfficerRank) Military.kif 744-744 美军军衔o5委任军官级别instance
(subclass CompanyGradeRank CommissionedOfficerRank) Military.kif 408-408 公司等级排名委任军官级别subclass
(subclass FieldGradeOfficerRank CommissionedOfficerRank) Military.kif 402-402 现场等级军官等级委任军官级别subclass
(subclass FlagOfficerRank CommissionedOfficerRank) Military.kif 396-396 国旗官员级别委任军官级别subclass
(subclass USWarrantOfficerRank CommissionedOfficerRank) Military.kif 682-682 美国准尉军衔委任军官级别subclass
(termFormat ChineseLanguage CommissionedOfficerRank "委任军官级别") domainEnglishFormat.kif 15903-15903 美国准尉军衔委任军官级别subclass
(termFormat ChineseTraditionalLanguage CommissionedOfficerRank "委任軍官級別") domainEnglishFormat.kif 15902-15902 美国准尉军衔委任军官级别subclass
(termFormat EnglishLanguage CommissionedOfficerRank "commissioned officer rank") domainEnglishFormat.kif 15901-15901 美国准尉军衔委任军官级别subclass

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 363-374


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners