employs |
appearance as argument number 1 |
![]() |
(documentation employs ChineseLanguage "(employs ?ORG ?PERSON)的意思是 ?ORG 已经聘请了 ?PERSON,并现正以工薪制、每小时制或合约制的方式雇用这个 ?PERSON,以货币为酬劳支付他所提供的服务。") | chinese_format.kif 3725-3726 | |
(documentation employs EnglishLanguage "(employs ?A ?PERSON) means that ?A has hired ?PERSON and currently retains ?PERSON, on a salaried, hourly or contractual basis, to provide services in exchange for monetary compensation.") | Merge.kif 16815-16818 | |
(domain employs 1 AutonomousAgent) | Merge.kif 16813-16813 | 雇用 的 1 数量 是 施事体 的 instance |
(domain employs 2 CognitiveAgent) | Merge.kif 16814-16814 | 雇用 的 2 数量 是 有认知的主事 的 instance |
(instance employs BinaryPredicate) | Merge.kif 16812-16812 | 雇用 是 二元谓语 的 instance |
appearance as argument number 2 |
![]() |
(format ChineseLanguage employs "%1 %n{doesn't} employs %2") | chinese_format.kif 547-547 | |
(format EnglishLanguage employs "%1 %n{doesn't} employ%p{s} %2") | english_format.kif 552-552 | |
(format FrenchLanguage employs "%1 %n{n'} emploie %n{pas} %2") | french_format.kif 321-321 | |
(format ItalianLanguage employs "%1 %n{non} impiega%p{s} %2") | relations-it.txt 91-91 | |
(format JapaneseLanguage employs "%1 は %2 を employ%p{s} %n{ない}") | japanese_format.kif 2089-2089 | |
(format PortugueseLanguage employs "%1 %n{nao} emprega %n %2") | portuguese_format.kif 273-273 | |
(format cz employs "%1 %n{doesn't} employ%p{s} %2") | relations-cz.txt 327-327 | |
(format de employs "%1 beschaeftigt %2 %n{nicht}") | relations-de.txt 715-715 | |
(format hi employs "%1 %2 ko niyukta %n{nahiin} karataa hai") | relations-hindi.txt 131-131 | |
(format ro employs "%1 %n{nu-l} employ%t{angajeazã} pe %2") | relations-ro.kif 342-342 | |
(format sv employs "%1 anställer %n{inte} %2") | relations-sv.txt 355-355 | |
(format tg employs "%1 %n ay pagawin %2") | relations-tg.txt 197-197 | |
(termFormat ChineseLanguage employs "采用") | domainEnglishFormat.kif 22011-22011 | |
(termFormat ChineseLanguage employs "雇用") | chinese_format.kif 548-548 | |
(termFormat ChineseTraditionalLanguage employs "採用") | domainEnglishFormat.kif 22010-22010 | |
(termFormat EnglishLanguage employs "employs") | domainEnglishFormat.kif 22009-22009 | |
(termFormat de employs "beschaeftigt") | terms-de.txt 218-218 | |
(termFormat tg employs "pagawin") | relations-tg.txt 198-198 |
antecedent |
![]() |
consequent |
![]() |
(<=> (customerRepresentative ?Person1 ?Person2 ?Org) (exists (?Service) (and (instance ?Service FinancialTransaction) (employs ?Org ?Person1) (agent ?Service ?Person1) (destination ?Service ?Person2)))) |
FinancialOntology.kif 3653-3660 | 有认知的主事 对于 %3 的 customer 代表 若且唯若 有存在 过程 这样 那个 过程 是 金融交易 的 instance 和 机构 employs 那个 有认知的主事 和 那个 有认知的主事 是 那个 过程 的 agent 和 那个 过程 在 另一个 有认知的主事 结束 |
(=> (and (attribute ?X TravelerAccommodation) (capability RoomCleaningService agent ?X)) (exists (?MAID ?HOTELROOM) (and (employs ?X ?MAID) (attribute ?MAID Maid) (instance ?HOTELROOM HotelUnit) (part ?HOTELROOM (PropertyFn ?X)) (capability RoomCleaningService patient ?HOTELROOM) (capability RoomCleaningService serviceProvider ?MAID)))) |
Hotel.kif 1946-1957 | |
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 GeopoliticalArea)) (employs (GovernmentFn ?AGENT1) ?PERSON)) |
Government.kif 4447-4451 | |
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Organization)) (employs ?AGENT1 ?PERSON)) |
Government.kif 4453-4457 | |
(=> (and (instance ?Check PayCheck) (issuedBy ?Check ?Organization) (instance ?Give Giving) (destination ?Give ?Agent)) (employs ?Agent ?Organization)) |
FinancialOntology.kif 173-179 | |
(=> (and (instance ?FIRE TerminatingEmployment) (instance ?ORG Organization) (agent ?FIRE ?ORG) (patient ?FIRE ?PERSON)) (and (holdsDuring (BeginFn (WhenFn ?FIRE)) (employs ?ORG ?PERSON)) (holdsDuring (EndFn (WhenFn ?FIRE)) (not (employs ?ORG ?PERSON))))) |
Merge.kif 10878-10886 | |
(=> (and (instance ?HIRE Hiring) (instance ?ORG Organization) (agent ?HIRE ?ORG) (patient ?HIRE ?PERSON)) (and (holdsDuring (BeginFn (WhenFn ?HIRE)) (not (employs ?ORG ?PERSON))) (holdsDuring (EndFn (WhenFn ?HIRE)) (employs ?ORG ?PERSON)))) |
Merge.kif 10862-10870 | |
(=> (and (instance ?JOIN Hiring) (instance ?ORG Organization) (agent ?JOIN ?ORG) (patient ?JOIN ?PERSON)) (holdsDuring (ImmediateFutureFn (WhenFn ?JOIN)) (employs ?ORG ?PERSON))) |
Merge.kif 10758-10767 | |
(=> (and (instance ?STRIKE LaborStriking) (agent ?STRIKE ?PERSON) (instance ?PERSON Human) (patient ?STRIKE ?ORG) (instance ?ORG Organization)) (employs ?ORG ?PERSON)) |
Mid-level-ontology.kif 18303-18310 | |
(=> (and (instance ?X Nursery) (element ?X (PropertyFn ?HOTEL)) (attribute ?HOTEL TravelerAccommodation)) (exists (?NANNY ?CARE) (and (attribute ?X CommunalAttribute) (employs ?HOTEL ?NANNY) (hasPurpose ?NANNY (and (instance ?CARE ChildCareService) (serviceProvider ?CARE ?NANNY)))))) |
Hotel.kif 1913-1925 | |
(=> (and (representativeAgentToAgent ?SENDER ?REP ?RECEIVER) (instance ?SENDER Nation) (instance ?REP CognitiveAgent)) (employs (GovernmentFn ?SENDER) ?REP)) |
Government.kif 4575-4580 | |
(=> (and (representativeAgentToAgent ?SENDER ?REP ?RECEIVER) (instance ?SENDER Organization) (instance ?REP CognitiveAgent)) (employs ?SENDER ?REP)) |
Government.kif 4568-4573 | |
(=> (attribute ?PERSON JudgeAtLaw) (exists (?ORG) (and (instance ?ORG JudicialOrganization) (instance ?ORG GovernmentOrganization) (employs ?ORG ?PERSON)))) |
Mid-level-ontology.kif 22615-22621 | |
(=> (attribute ?X BarberShops) (hasPurpose ?X (exists (?HAIR ?HUMAN ?CUT ?STYLIST) (and (instance ?HAIR Hair) (part ?HAIR ?HUMAN) (instance ?HUMAN Human) (instance ?CUT Cutting) (patient ?CUT ?HAIR) (eventLocated ?CUT ?X) (agent ?CUT ?STYLIST) (employs ?X ?STYLIST))))) |
naics.kif 11934-11946 | |
(=> (capability ChildCareService agent ?X) (exists (?SITTER) (and (employs ?X ?SITTER) (capability ChildCareService serviceProvider ?SITTER)))) |
Hotel.kif 1894-1899 |
|
(=> (colleague ?A1 ?A2 ?ORG) (exists (?T) (holdsDuring ?T (and (employs ?ORG ?A1) (employs ?ORG ?A2))))) |
Mid-level-ontology.kif 18225-18231 | |
(=> (employeeContribution ?Agent ?Money ?Period) (exists (?Org ?Plan) (and (instance ?Plan PensionPlan) (employs ?Org ?Agent) (agent ?Plan ?Org) (destination ?Plan ?Agent)))) |
FinancialOntology.kif 3374-3381 | |
(=> (holdsDuring ?T1 (attribute ?X GovernmentPerson)) (exists (?GOV) (and (instance ?GOV Government) (holdsDuring ?T1 (employs ?GOV ?X))))) |
Mid-level-ontology.kif 24055-24060 | |
(=> (holdsDuring ?T1 (coworker ?H1 ?H2)) (exists (?ORG) (and (instance ?ORG Organization) (holdsDuring ?T1 (and (employs ?ORG ?H1) (employs ?ORG ?H2)))))) |
Mid-level-ontology.kif 24606-24615 | |
(=> (instance ?DS DrugStore) (modalAttribute (exists (?P) (and (attribute ?P Pharmacist) (employs ?DS ?P))) Likely)) |
Medicine.kif 3123-3130 | |
(=> (instance ?G GeniusBar) (hasPurpose ?G (exists (?M ?CS) (and (employs ?M AppleComputerCorporation) (instance ?CS CustomerSupport) (agent ?CS ?M) (located ?CS ?G))))) |
ComputingBrands.kif 3084-3092 | |
(=> (instance ?MS MedicalService) (exists (?AGENT ?HUMAN ?PROC) (and (agent ?MS ?AGENT) (employs ?AGENT ?HUMAN) (attribute ?HUMAN MedicalDoctor) (serviceProvider ?MS ?HUMAN) (or (instance ?PROC TherapeuticProcess) (instance ?PROC DiagnosticProcess)) (subProcess ?PROC ?MS)))) |
Hotel.kif 2292-2303 | |
(=> (instance ?ORG UnionOrganization) (exists (?COLL ?MEMBER) (=> (member ?MEMBER ?ORG) (or (and (instance ?COLL Corporation) (employs ?COLL ?MEMBER)) (exists (?CORP) (and (instance ?COLL Industry) (member ?CORP ?COLL) (employs ?CORP ?MEMBER))))))) |
Mid-level-ontology.kif 9750-9763 | |
(=> (instance ?X RestaurantBuilding) (hasPurpose ?X (exists (?OWN ?EMP ?EV ?P ?PAY) (and (employs ?OWN ?EMP) (possesses ?OWN ?X) (instance ?P Human) (instance ?PAY FinancialTransaction) (agent ?PAY ?P) (patient ?PAY ?EMP) (confersRight ?EMP ?EV ?P) (instance ?EV Eating) (agent ?EV ?P) (eventLocated ?EV ?X))))) |
Mid-level-ontology.kif 24201-24215 |
|
(=> (instance ?X SecretarialService) (exists (?SP ?SR ?SEC) (and (serviceProvider ?X ?SP) (serviceRecipient ?X ?SR) (employs ?SP ?SEC) (attribute ?SEC ClericalSecretary)))) |
Hotel.kif 2311-2318 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
statement |
![]() |
(exists (?H) (and (attribute ?H NewReporter) (employs ProPublica ?H))) |
Medicine.kif 4597-4600 | 有存在 有认知的主事 这样 NewReporter 是 那个 有认知的主事 的 attribute 和 ProPublica employs 那个 有认知的主事 |
![]() |
![]() |