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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Managing
Managing(managing)administrative, administratively, administrivia, bioremediation, build, canalisation, canalization, chair, chairman, channelisation, channelization, custodial, database_management, dependent, direct, direction, handling, hold_sway, invigilation, leadership, leading, line_management, manage, management, managerial, misconduct, move_in_on, nonprofit, nonprofit_organization, not-for-profit, organisation, organization, oversee, oversight, polity, rationalisation, rationalization, regimentation, reorganisation, reorganization, ruled, running, self-organisation, self-organization, shake-up, shakeup, subject, subordinate, superintend, superintendence...

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


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

chinese_format.kif 2972-2974
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 10368-10372
s__instance(s__Guiding,s__SetOrClass)

s__instance(s__Managing,s__SetOrClass)

s__subclass(s__Managing,s__Guiding)

Merge.kif 10366-10366 Managing is a subclass of guiding
s__instance(s__OrganizationalProcess,s__SetOrClass)

s__subclass(s__Managing,s__OrganizationalProcess)

s__instance(s__Managing,s__SetOrClass)

Merge.kif 10365-10365 Managing is a subclass of organizational process

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 1434-1434

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


( ! [V__OFFICER,V__COR] :
   ((s__instance(V__OFFICER,s__Agent) =>
       (((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__instance(V__OFFICER,s__Agent) =>
       ((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 17688-17697
( ! [V__X] :
   ((s__instance(V__X,s__Agent) =>
       ((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 20935-20942
( ! [V__BOARD] :
   ((s__instance(V__BOARD,s__OrganizationalBoard) =>
       (( ? [V__ORG, V__MANAGE] :
           ((s__instance(V__ORG,s__Organization) &
               (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 8003-8010
( ! [V__PUB] :
   ((s__instance(V__PUB,s__ChairmanPublication) =>
       (( ? [V__MANAGING, V__H] :
           ((s__instance(V__H,s__Agent) &
               (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 1033-1040
( ! [V__PUB] :
   ((s__instance(V__PUB,s__JointPublication) =>
       (( ? [V__MANAGING, V__H] :
           ((s__instance(V__H,s__Agent) &
               (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 930-937
( ! [V__AGENT,V__OBJ] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__OBJ,s__Object))
       =>
       ((s__managedBy(V__OBJ,V__AGENT)
         =>
         (( ? [V__AGENT2, V__MAN] :
             ((s__instance(V__AGENT2,s__Agent) &
                 (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 627-634
( ! [V__A,V__R] :
   (((s__instance(V__A,s__Agent) &
         s__instance(V__A,s__Recording) &
         s__instance(V__R,s__Human))
       =>
       ((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 19342-19350


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