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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CommissionedOfficerRank

Sigma KEE - CommissionedOfficerRank
CommissionedOfficerRankcommissioned_officer, commissioned_officer_rank, commodore, full_general, general, sublieutenant, wing_commander

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


s__disjointDecomposition_4(s__CommissionedOfficerRank,s__FlagOfficerRank,s__FieldGradeOfficerRank,s__CompanyGradeRank)

Military.kif 283-284
s__documentation(s__CommissionedOfficerRank,s__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
s__instance(s__MilitaryRank,s__SetOrClass)

Military.kif 271-271

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


s__instance(s__USMilitaryRankWO2,s__CommissionedOfficerRank)

Military.kif 637-637
s__instance(s__CommissionedOfficerRank,s__SetOrClass)

Military.kif 647-647
s__instance(s__CommissionedOfficerRank,s__SetOrClass)

Military.kif 657-657
s__instance(s__USMilitaryRankWO5,s__CommissionedOfficerRank)

Military.kif 667-667
s__instance(s__CompanyGradeRank,s__SetOrClass)

Military.kif 331-331
s__subclass(s__FieldGradeOfficerRank,s__CommissionedOfficerRank)

Military.kif 325-325
s__instance(s__CommissionedOfficerRank,s__SetOrClass)

Military.kif 319-319
s__instance(s__USWarrantOfficerRank,s__SetOrClass)

Military.kif 605-605
s__termFormat(s__EnglishLanguage,s__CommissionedOfficerRank,'commissioned officer rank')

domainEnglishFormat.kif 3070-3070

antecedent
-------------------------


( ∀ [V__OFFICER,V__COR]
   ((s__attribute(V__OFFICER,V__COR)
     ∧
     s__instance(V__COR,s__CommissionedOfficerRank))
   ⇒
   (∃ [V__MANAGE,V__PATIENT]
     (s__instance(V__MANAGE,s__Managing) ∧
       s__agent(V__MANAGE,V__OFFICER)
     ∧
     s__patient(V__MANAGE,V__PATIENT)
   ∧
   (s__instance(V__PATIENT,s__MilitaryOrganization) ∨
     s__attribute(V__PATIENT,s__Soldier)))))
)

Military.kif 286-297


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners