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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - employs
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 16610-16613
(domain employs 1 AutonomousAgent) Merge.kif 16608-16608 雇用 的 1 数量 是 施事体 的 instance
(domain employs 2 CognitiveAgent) Merge.kif 16609-16609 雇用 的 2 数量 是 有认知的主事 的 instance
(instance employs BinaryPredicate) Merge.kif 16607-16607 雇用 是 二元谓语 的 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 22008-22008
(termFormat ChineseLanguage employs "雇用") chinese_format.kif 548-548
(termFormat ChineseTraditionalLanguage employs "採用") domainEnglishFormat.kif 22007-22007
(termFormat EnglishLanguage employs "employs") domainEnglishFormat.kif 22006-22006
(termFormat tg employs "pagawin") relations-tg.txt 198-198

antecedent
-------------------------


(<=>
    (employs ?Org ?Agent)
    (exists (?Employment)
        (and
            (property ?Employment Employment)
            (partyToAgreement ?Employment ?Org)
            (partyToAgreement ?Employment ?Agent))))		 FinancialOntology.kif 3260-3266 协议 employs 另一个 协议 若且唯若 有存在 有认知的主事 这样 那个 有认知的主事 有 雇用 的 attribute 和 那个 协议 是 那个 有认知的主事 的 party 协议 和 那个 另外 协议 是 那个 有认知的主事 的 party 协议
(<=>
    (holdsDuring ?T
        (and
            (instance ?PERSON Human)
            (forall (?ORG)
                (not
                    (employs ?ORG ?PERSON)))))
    (holdsDuring ?T
        (attribute ?PERSON Unemployed)))		 Merge.kif 17224-17232 实体 是 人类 的 instance 和 对所有 另一个 实体 那个 另外 实体 doesn't employs 那个 实体 在 时间位置 holdsDuring 若且唯若 失业的 是 那个 实体 的 attribute 在 那个 时间位置 holdsDuring
(=>
    (and
        (attribute ?PERSON SupremeCourtJudge)
        (employs ?ORG ?PERSON))
    (instance ?ORG SupremeCourt))		 Government.kif 2215-2219
(=>
    (and
        (attribute ?X Waiter)
        (instance ?X Human)
        (employs ?REST ?X)
        (instance ?REST Restaurant)
        (customer ?CUST ?REST)
        (located ?CUST ?TABLE)
        (instance ?TABLE Table))
    (exists (?DINING ?C ?FOOD ?KITCHEN)
        (and
            (possesses ?REST ?KITCHEN)
            (instance ?KITCHEN KitchenArea)
            (instance ?DINING DiningArea)
            (located ?TABLE ?DINING)
            (hasPurpose ?X
                (and
                    (instance ?C Carrying)
                    (agent ?C ?X)
                    (origin ?C ?KITCHEN)
                    (destination ?C ?TABLE)
                    (patient ?C ?FOOD)
                    (instance ?FOOD
                        (FoodForFn Human)))))))		 Mid-level-ontology.kif 20550-20572
(=>
    (and
        (customer ?CUST ?AGENT)
        (employs ?AGENT ?X)
        (attribute ?AGENT TravelerAccommodation)
        (attribute ?X Porter)
        (possesses ?CUST ?LUGGAGE)
        (instance ?LUGGAGE TravelContainer))
    (exists (?ROOM ?CARRY)
        (and
            (instance ?ROOM HotelUnit)
            (instance ?CARRY Carrying)
            (agent ?CARRY ?X)
            (or
                (destination ?CARRY ?ROOM)
                (origin ?CARRY ?ROOM)))))		 Hotel.kif 2392-2407
(=>
    (and
        (employs ?HOTEL ?ATHLETE)
        (attribute ?HOTEL TravelerAccommodation)
        (attribute ?ATHLETE TennisProfessional)
        (guest ?CUST ?HOTEL))
    (modalAttribute
        (exists (?TENNIS ?LOC)
            (and
                (instance ?TENNIS Tennis)
                (contestParticipant ?TENNIS ?ATHLETE)
                (contestParticipant ?TENNIS ?CUST)
                (located ?TENNIS ?LOC)
                (located ?HOTEL ?LOC))) Possibility))		 Hotel.kif 1522-1535
(=>
    (and
        (employs ?ORG ?CO)
        (instance ?D DoNetworkMessaging)
        (result ?D ?MSG)
        (attribute ?MSG NSFW)
        (instance ?S Seeing)
        (patient ?S ?MSG)
        (agent ?S ?CO))
    (modalAttribute
        (exists (?PROC)
            (and
                (causes ?S ?PROC)
                (suffers ?PROC ?CO))) Possibility))		 Medicine.kif 3040-3054
(=>
    (and
        (employs ?ORG ?P)
        (employs ?ORG ?CO)
        (instance ?D DoNetworkMessaging)
        (result ?D ?MSG)
        (attribute ?MSG NSFW)
        (agent ?D ?P)
        (instance ?S Seeing)
        (patient ?S ?MSG)
        (agent ?S ?CO))
    (modalAttribute
        (exists (?PROC)
            (and
                (causes ?D ?PROC)
                (suffers ?PROC ?P))) Likely))		 Medicine.kif 3022-3038
(=>
    (and
        (instance ?P PensionPlan)
        (accountHolder ?P ?A)
        (employs ?O ?A))
    (financialAccount ?P ?O))		 FinancialOntology.kif 1180-1185
(=>
    (and
        (instance ?PSP ProfitSharingPlan)
        (accountHolder ?PSP ?H)
        (employs ?O ?H)
        (profit ?A
            (MeasureFn ?P ?U))
        (instance ?U UnitOfCurrency)
        (agent ?A ?O))
    (exists (?C ?PAY)
        (and
            (instance ?PAY FinancialTransaction)
            (transactionAmount ?PAY
                (MeasureFn ?C ?U))
            (lessThan ?C ?P)
            (destination ?PAY ?PSP))))		 FinancialOntology.kif 1192-1207
(=>
    (and
        (instance ?Service CommercialService)
        (agent ?Service ?Agent)
        (employs ?Org ?Agent)
        (destination ?Service ?Customer))
    (hasPurpose ?Service
        (exists (?Transaction)
            (and
                (instance ?Transaction FinancialTransaction)
                (destination ?Transaction ?Org)
                (origin ?Transaction ?Customer)))))		 FinancialOntology.kif 3590-3601
(=>
    (employs ?ORG ?PERSON)
    (exists (?POSITION)
        (occupiesPosition ?PERSON ?POSITION ?ORG)))		 Merge.kif 17252-17255

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


(<=>
    (customerRepresentative ?Person1 ?Person2 ?Org)
    (exists (?Service)
        (and
            (instance ?Service FinancialTransaction)
            (employs ?Org ?Person1)
            (agent ?Service ?Person1)
            (destination ?Service ?Person2))))		 FinancialOntology.kif 3635-3642 有认知的主事 对于 %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 1935-1946
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 GeopoliticalArea))
    (employs
        (GovernmentFn ?AGENT1) ?PERSON))		 Government.kif 4486-4490
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization))
    (employs ?AGENT1 ?PERSON))		 Government.kif 4492-4496
(=>
    (and
        (instance ?Check PayCheck)
        (issuedBy ?Check ?Organization)
        (instance ?Give Giving)
        (destination ?Give ?Agent))
    (employs ?Agent ?Organization))		 FinancialOntology.kif 171-177
(=>
    (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 10740-10748
(=>
    (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 10724-10732
(=>
    (and
        (instance ?JOIN Hiring)
        (instance ?ORG Organization)
        (agent ?JOIN ?ORG)
        (patient ?JOIN ?PERSON))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?JOIN))
        (employs ?ORG ?PERSON)))		 Merge.kif 10620-10629
(=>
    (and
        (instance ?STRIKE LaborStriking)
        (agent ?STRIKE ?PERSON)
        (instance ?PERSON Human)
        (patient ?STRIKE ?ORG)
        (instance ?ORG Organization))
    (employs ?ORG ?PERSON))		 Mid-level-ontology.kif 16888-16895
(=>
    (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 1902-1914
(=>
    (and
        (representativeAgentToAgent ?SENDER ?REP ?RECEIVER)
        (instance ?SENDER Nation)
        (instance ?REP CognitiveAgent))
    (employs
        (GovernmentFn ?SENDER) ?REP))		 Government.kif 4614-4619
(=>
    (and
        (representativeAgentToAgent ?SENDER ?REP ?RECEIVER)
        (instance ?SENDER Organization)
        (instance ?REP CognitiveAgent))
    (employs ?SENDER ?REP))		 Government.kif 4607-4612
(=>
    (attribute ?PERSON JudgeAtLaw)
    (exists (?ORG)
        (and
            (instance ?ORG JudicialOrganization)
            (instance ?ORG GovernmentOrganization)
            (employs ?ORG ?PERSON))))		 Mid-level-ontology.kif 20947-20953
(=>
    (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 1883-1888
(=>
    (colleague ?A1 ?A2 ?ORG)
    (exists (?T)
        (holdsDuring ?T
            (and
                (employs ?ORG ?A1)
                (employs ?ORG ?A2)))))		 Mid-level-ontology.kif 16810-16816
(=>
    (employeeContribution ?Agent ?Money ?Period)
    (exists (?Org ?Plan)
        (and
            (instance ?Plan PensionPlan)
            (employs ?Org ?Agent)
            (agent ?Plan ?Org)
            (destination ?Plan ?Agent))))		 FinancialOntology.kif 3357-3364
(=>
    (holdsDuring ?T1
        (attribute ?X GovernmentPerson))
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (holdsDuring ?T1
                (employs ?GOV ?X)))))		 Mid-level-ontology.kif 22363-22368
(=>
    (holdsDuring ?T1
        (coworker ?H1 ?H2))
    (exists (?ORG)
        (and
            (instance ?ORG Organization)
            (holdsDuring ?T1
                (and
                    (employs ?ORG ?H1)
                    (employs ?ORG ?H2))))))		 Mid-level-ontology.kif 22914-22923
(=>
    (instance ?DS DrugStore)
    (modalAttribute
        (exists (?P)
            (and
                (attribute ?P Pharmacist)
                (employs ?DS ?P))) Likely))		 Medicine.kif 3122-3129
(=>
    (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 2281-2292
(=>
    (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 8516-8529
(=>
    (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 22509-22523
(=>
    (instance ?X SecretarialService)
    (exists (?SP ?SR ?SEC)
        (and
            (serviceProvider ?X ?SP)
            (serviceRecipient ?X ?SR)
            (employs ?SP ?SEC)
            (attribute ?SEC ClericalSecretary))))		 Hotel.kif 2300-2307

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25