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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Managing

Sigma KEE - Managing
Managing

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


(documentation Managing ChineseLanguage "这是涉及监督他人活动的 OrganizationalProcesses。注: RegulatoryProcess 和它相关的概念 Managing 之间的主要区别是:后者意味着单一管理者和有限数量受管理 的实施者的长期关系,而前者则暗示对于受到规管活动的规范标准。") chinese_format.kif 2972-2974
(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 10829-10833
(documentation Managing JapaneseLanguage "他の人の活動監視を含む OrganizationalProcesses。 注:RegulatoryProcess とその兄弟 Managing の主な違いがある。後者は、マネージャーと管理人との 間の長期的な関係を意味し、前者は規制の活動が参照される規範的な標準を意味する。") japanese_format.kif 1731-1733
(subclass Managing Guiding) Merge.kif 10827-10827
(subclass Managing OrganizationalProcess) Merge.kif 10826-10826

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


(termFormat ChineseLanguage Managing "管理") chinese_format.kif 1106-1106
(termFormat EnglishLanguage Managing "managing") english_format.kif 1429-1429
(termFormat FrenchLanguage Managing "diriger") french_format.kif 784-784
(termFormat Hindi Managing "prabandhana") terms-hindi.txt 316-316
(termFormat ItalianLanguage Managing "Gestione") terms-it.txt 319-319
(termFormat JapaneseLanguage Managing "管理") japanese_format.kif 2468-2468
(termFormat PortugueseLanguage Managing "Administrar") portuguese_format.kif 736-736
(termFormat cb Managing "pagdumala") terms-cb.txt 321-321
(termFormat cz Managing "managing") terms-cz.txt 355-355
(termFormat ro Managing "administrare") relations-ro.kif 805-805
(termFormat tg Managing "mangasiwa") terms-tg.txt 320-320

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


(=>
    (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
(=>
    (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 19004-19013
(=>
    (attribute ?X BusinessExecutive)
    (exists (?BUSINESS ?MANAGE)
        (and
            (instance ?MANAGE Managing)
            (instance ?BUSINESS Organization)
            (patient ?MANAGE ?BUSINESS)
            (agent ?MANAGE ?X))))
Mid-level-ontology.kif 22160-22167
(=>
    (instance ?BOARD OrganizationalBoard)
    (exists (?ORG ?MANAGE)
        (and
            (subOrganization ?BOARD ?ORG)
            (instance ?MANAGE Managing)
            (agent ?MANAGE ?BOARD)
            (patient ?MANAGE ?ORG))))
Mid-level-ontology.kif 8512-8519
(=>
    (instance ?PUB ChairmanPublication)
    (exists (?MANAGING ?H)
        (and
            (instance ?MANAGING Managing)
            (attribute ?H ChairmanJCS)
            (agent ?MANAGING ?H)
            (patient ?MANAGING ?PUB))))
MilitaryProcesses.kif 1034-1041
(=>
    (instance ?PUB JointPublication)
    (exists (?MANAGING ?H)
        (and
            (instance ?MANAGING Managing)
            (attribute ?H ChairmanJCS)
            (agent ?MANAGING ?H)
            (patient ?MANAGING ?PUB))))
MilitaryProcesses.kif 930-937
(=>
    (managedBy ?OBJ ?AGENT)
    (exists (?AGENT2 ?MAN)
        (and
            (possesses ?AGENT2 ?OBJ)
            (instance ?MAN Managing)
            (patient ?MAN ?OBJ)
            (agent ?MAN ?AGENT))))
Hotel.kif 648-655
(=>
    (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 20693-20701


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 3.0 is open source software produced by Articulate Software and its partners