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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Managing

Sigma KEE - Managing
ManagingAdministrar, Gestione, administrative, administratively, administrivia, bioremediation, build, canalisation, canalization, chair, chairman, channelisation, channelization, custodial, database_management, dependent, direct, direction, diriger, handling, hold_sway, invigilation, leadership, leading, line_management, manage, management, managerial, managing, mangasiwa, misconduct, move_in_on, nonprofit, nonprofit_organization, not-for-profit, organisation, organization, oversee, oversight, pagdumala, polity, prabandhana, rationalisation, rationalization, regimentation, reorganisation, reorganization, ruled, running, self-organisation...

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


s__documentation(s__Managing,s__ChineseLanguage,'这是涉及监督他人活动的 OrganizationalProcesses。注: RegulatoryProcess 和它相关的概念 Managing 之间的主要区别是:后者意味着单一管理者和有限数量受管理 的实施者的长期关系,而前者则暗示对于受到规管活动的规范标准。')

Merge.kif 10740-10742
s__documentation(s__Managing,s__EnglishLanguage,'OrganizationalProcesses that involve overseeing the activities of others. Note the key differences between RegulatoryProcess and its sibling Managing. The latter implies a long-term relationship between the manager and the managed, while the former implies a normative standard to which the activities of the regulated are referred.')

Merge.kif 10735-10739
s__instance(s__Managing,s__SetOrClass)

Merge.kif 10734-10734
s__instance(s__Managing,s__SetOrClass)

Merge.kif 10733-10733

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


s__termFormat(s__ChineseLanguage,s__Managing,'管理')

chinese_format.kif 1106-1106
s__termFormat(s__EnglishLanguage,s__Managing,'managing')

english_format.kif 793-793
s__termFormat(s__FrenchLanguage,s__Managing,'diriger')

french_format.kif 784-784
s__termFormat(s__Hindi,s__Managing,'prabandhana')

terms-hindi.txt 316-316
s__termFormat(s__ItalianLanguage,s__Managing,'Gestione')

terms-it.txt 317-317
s__termFormat(s__PortugueseLanguage,s__Managing,'Administrar')

portuguese_format.kif 736-736
s__termFormat(s__cb__m,s__Managing,'pagdumala')

terms-cb.txt 321-321
s__termFormat(s__cz__m,s__Managing,'managing')

terms-cz.txt 355-355
s__termFormat(s__tg__m,s__Managing,'mangasiwa')

terms-tg.txt 320-320

consequent
-------------------------


( ∀ [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
( ∀ [V__OFFICER]
   (s__attribute(V__OFFICER,s__MilitaryOfficer) ⇒
     (∃ [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)))))
)

Mid-level-ontology.kif 16657-16666
( ∀ [V__X]
   (s__attribute(V__X,s__BusinessExecutive) ⇒
     (∃ [V__BUSINESS,V__MANAGE]
       (s__instance(V__MANAGE,s__Managing) ∧
         s__instance(V__BUSINESS,s__Organization) ∧
         s__patient(V__MANAGE,V__BUSINESS)
       ∧
       s__agent(V__MANAGE,V__X))))
)

Mid-level-ontology.kif 19912-19919
( ∀ [V__BOARD]
   (s__instance(V__BOARD,s__OrganizationalBoard) ⇒
     (∃ [V__ORG,V__MANAGE]
       (s__subOrganization(V__BOARD,V__ORG)
       ∧
       s__instance(V__MANAGE,s__Managing) ∧
       s__agent(V__MANAGE,V__BOARD)
     ∧
     s__patient(V__MANAGE,V__ORG))))
)

Mid-level-ontology.kif 8235-8242
( ∀ [V__PUB]
   (s__instance(V__PUB,s__ChairmanPublication) ⇒
     (∃ [V__MANAGING,V__H]
       (s__instance(V__MANAGING,s__Managing) ∧
         s__attribute(V__H,s__ChairmanJCS) ∧
         s__agent(V__MANAGING,V__H)
       ∧
       s__patient(V__MANAGING,V__PUB))))
)

MilitaryProcesses.kif 1022-1029
( ∀ [V__PUB]
   (s__instance(V__PUB,s__JointPublication) ⇒
     (∃ [V__MANAGING,V__H]
       (s__instance(V__MANAGING,s__Managing) ∧
         s__attribute(V__H,s__ChairmanJCS) ∧
         s__agent(V__MANAGING,V__H)
       ∧
       s__patient(V__MANAGING,V__PUB))))
)

MilitaryProcesses.kif 919-926
( ∀ [V__OBJ,V__AGENT]
   (s__managedBy(V__OBJ,V__AGENT)
   ⇒
   (∃ [V__AGENT2,V__MAN]
     (s__possesses(V__AGENT2,V__OBJ)
     ∧
     s__instance(V__MAN,s__Managing) ∧
     s__patient(V__MAN,V__OBJ)
   ∧
   s__agent(V__MAN,V__AGENT))))
)

Hotel.kif 617-624
( ∀ [V__R,V__A]
   (s__produced(V__R,V__A)
   ⇒
   (∃ [V__M,V__P]
     (s__instance(V__M,s__Managing) ∧
       s__agent(V__M,V__A)
     ∧
     s__patient(V__M,V__P)
   ∧
   s__instance(V__P,s__Process) ∧
   s__result(V__P,V__R))))
)

Mid-level-ontology.kif 18291-18299


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