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