Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass Managing OrganizationalProcess) Merge.kif 11073-11073 Managing is a subclass of organizational process
(subclass Managing Guiding) Merge.kif 11074-11074 Managing is a subclass of guiding
(documentation Managing 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 11076-11080 Managing is a subclass of guiding

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


(termFormat EnglishLanguage Managing "managing") english_format.kif 1433-1433

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


(=>
    (instance ?BOARD OrganizationalBoard)
    (exists (?ORG ?MANAGE)
        (and
            (subOrganization ?BOARD ?ORG)
            (instance ?MANAGE Managing)
            (agent ?MANAGE ?BOARD)
            (patient ?MANAGE ?ORG))))		 Mid-level-ontology.kif 9872-9879 If X is an instance of organizational board, then there exist Y, Z such that X is a part of the organization Y, Z is an instance of managing, X is an agent of Z, and Y is a patient of Z
(=>
    (attribute ?OFFICER MilitaryOfficer)
    (exists (?MANAGE ?PATIENT)
        (and
            (instance ?MANAGE Managing)
            (agent ?MANAGE ?OFFICER)
            (patient ?MANAGE ?PATIENT)
            (or
                (instance ?PATIENT MilitaryOrganization)
                (attribute ?PATIENT Soldier)))))		 Mid-level-ontology.kif 20941-20950 If military officer is an attribute of X, then there exist Y, Z such that Y is an instance of managing, X is an agent of Y, Z is a patient of Y, and Z is an instance of military organization or soldier is an attribute of Z
(=>
    (produced ?R ?A)
    (exists (?M ?P)
        (and
            (instance ?M Managing)
            (agent ?M ?A)
            (patient ?M ?P)
            (instance ?P Process)
            (result ?P ?R))))		 Mid-level-ontology.kif 22935-22943 If X produces Y, then there exist Z, W such that Z is an instance of managing, X is an agent of Z, W is a patient of Z, W is an instance of process, and Y is a result of W
(=>
    (attribute ?X BusinessExecutive)
    (exists (?BUSINESS ?MANAGE)
        (and
            (instance ?MANAGE Managing)
            (instance ?BUSINESS Organization)
            (patient ?MANAGE ?BUSINESS)
            (agent ?MANAGE ?X))))		 Mid-level-ontology.kif 24451-24458 If business executive is an attribute of X, then there exist Y, Z such that Z is an instance of managing, Y is an instance of organization, Y is a patient of Z, and X is an agent of Z
(=>
    (managedBy ?OBJ ?AGENT)
    (exists (?AGENT2 ?MAN)
        (and
            (possesses ?AGENT2 ?OBJ)
            (instance ?MAN Managing)
            (patient ?MAN ?OBJ)
            (agent ?MAN ?AGENT))))		 Hotel.kif 652-659 If X is managed by Y, then there exist Z, W such that Z possesses X, W is an instance of managing, X is a patient of W, and Y is an agent of W
(=>
    (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 561-572 If X is an attribute of Y and X is an instance of commissioned officer rank, then there exist Z, W such that Z is an instance of managing, Y is an agent of Z, W is a patient of Z, and W is an instance of military organization or soldier is an attribute of W
(=>
    (instance ?PUB JointPublication)
    (exists (?MANAGING ?H)
        (and
            (instance ?MANAGING Managing)
            (attribute ?H ChairmanJCS)
            (agent ?MANAGING ?H)
            (patient ?MANAGING ?PUB))))		 MilitaryProcesses.kif 952-959 If X is an instance of joint publication, then there exist Y, Z such that Y is an instance of managing, chairmanJC s is an attribute of Z, Z is an agent of Y, and X is a patient of Y
(=>
    (instance ?PUB ChairmanPublication)
    (exists (?MANAGING ?H)
        (and
            (instance ?MANAGING Managing)
            (attribute ?H ChairmanJCS)
            (agent ?MANAGING ?H)
            (patient ?MANAGING ?PUB))))		 MilitaryProcesses.kif 1056-1063 If X is an instance of chairman publication, then there exist Y, Z such that Y is an instance of managing, chairmanJC s is an attribute of Z, Z is an agent of Y, and X is a patient of Y


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners