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 |