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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CommissionedOfficerRank
CommissionedOfficerRank(commissioned officer rank)commissioned_officer, commodore, full_general, general, sublieutenant, wing_commander

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


(disjointDecomposition CommissionedOfficerRank FlagOfficerRank FieldGradeOfficerRank CompanyGradeRank) Military.kif 283-284 Commissioned officer rank is disjointly decomposed into flag officer rank, field grade officer rank, and company grade rank
(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 Commissioned officer rank is a subclass of military rank

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


(instance USMilitaryRankWO2 CommissionedOfficerRank) Military.kif 637-637 US military rankW o2 is an instance of commissioned officer rank
(instance USMilitaryRankWO3 CommissionedOfficerRank) Military.kif 647-647 US military rankW o3 is an instance of commissioned officer rank
(instance USMilitaryRankWO4 CommissionedOfficerRank) Military.kif 657-657 US military rankW o4 is an instance of commissioned officer rank
(instance USMilitaryRankWO5 CommissionedOfficerRank) Military.kif 667-667 US military rankW o5 is an instance of commissioned officer rank
(subclass CompanyGradeRank CommissionedOfficerRank) Military.kif 331-331 Company grade rank is a subclass of commissioned officer rank
(subclass FieldGradeOfficerRank CommissionedOfficerRank) Military.kif 325-325 Field grade officer rank is a subclass of commissioned officer rank
(subclass FlagOfficerRank CommissionedOfficerRank) Military.kif 319-319 Flag officer rank is a subclass of commissioned officer rank
(subclass USWarrantOfficerRank CommissionedOfficerRank) Military.kif 605-605 US warrant officer rank is a subclass of commissioned officer rank
(termFormat ChineseLanguage CommissionedOfficerRank "委任军官级别") domainEnglishFormat.kif 15885-15885
(termFormat ChineseTraditionalLanguage CommissionedOfficerRank "委任軍官級別") domainEnglishFormat.kif 15884-15884
(termFormat EnglishLanguage CommissionedOfficerRank "commissioned officer rank") domainEnglishFormat.kif 15883-15883

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


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