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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 10863-10867
(documentation Managing JapaneseLanguage "他の人の活動監視を含む OrganizationalProcesses。 注:RegulatoryProcess とその兄弟 Managing の主な違いがある。後者は、マネージャーと管理人との 間の長期的な関係を意味し、前者は規制の活動が参照される規範的な標準を意味する。") japanese_format.kif 1731-1733
(subclass Managing Guiding) Merge.kif 10861-10861
(subclass Managing OrganizationalProcess) Merge.kif 10860-10860

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 19031-19040
(=>
    (attribute ?X BusinessExecutive)
    (exists (?BUSINESS ?MANAGE)
        (and
            (instance ?MANAGE Managing)
            (instance ?BUSINESS Organization)
            (patient ?MANAGE ?BUSINESS)
            (agent ?MANAGE ?X))))
Mid-level-ontology.kif 22212-22219
(=>
    (instance ?BOARD OrganizationalBoard)
    (exists (?ORG ?MANAGE)
        (and
            (subOrganization ?BOARD ?ORG)
            (instance ?MANAGE Managing)
            (agent ?MANAGE ?BOARD)
            (patient ?MANAGE ?ORG))))
Mid-level-ontology.kif 8539-8546
(=>
    (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 20720-20728


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