TreeView Knowledge Base Browser

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 16711-16714
(domain employs 1 AutonomousAgent)	Merge.kif 16709-16709
(domain employs 2 CognitiveAgent)	Merge.kif 16710-16710
(instance employs BinaryPredicate)	Merge.kif 16708-16708

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 22002-22002
(termFormat ChineseLanguage employs "雇用")	chinese_format.kif 548-548
(termFormat ChineseTraditionalLanguage employs "採用")	domainEnglishFormat.kif 22001-22001
(termFormat EnglishLanguage employs "employs")	domainEnglishFormat.kif 22000-22000
(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
(<=> (holdsDuring ?T (and (instance ?PERSON Human) (forall (?ORG) (not (employs ?ORG ?PERSON))))) (holdsDuring ?T (attribute ?PERSON Unemployed)))	Merge.kif 17325-17333
(=> (and (attribute ?PERSON SupremeCourtJudge) (employs ?ORG ?PERSON)) (instance ?ORG SupremeCourt))	Government.kif 2179-2183
(=> (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 20628-20650
(=> (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 17353-17356

consequent

(<=> (customerRepresentative ?Person1 ?Person2 ?Org) (exists (?Service) (and (instance ?Service FinancialTransaction) (employs ?Org ?Person1) (agent ?Service ?Person1) (destination ?Service ?Person2))))	FinancialOntology.kif 3635-3642
(=> (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 4450-4454
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Organization)) (employs ?AGENT1 ?PERSON))	Government.kif 4456-4460
(=> (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 10774-10782
(=> (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 10758-10766
(=> (and (instance ?JOIN Hiring) (instance ?ORG Organization) (agent ?JOIN ?ORG) (patient ?JOIN ?PERSON)) (holdsDuring (ImmediateFutureFn (WhenFn ?JOIN)) (employs ?ORG ?PERSON)))	Merge.kif 10654-10663
(=> (and (instance ?STRIKE LaborStriking) (agent ?STRIKE ?PERSON) (instance ?PERSON Human) (patient ?STRIKE ?ORG) (instance ?ORG Organization)) (employs ?ORG ?PERSON))	Mid-level-ontology.kif 16943-16950
(=> (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 4578-4583
(=> (and (representativeAgentToAgent ?SENDER ?REP ?RECEIVER) (instance ?SENDER Organization) (instance ?REP CognitiveAgent)) (employs ?SENDER ?REP))	Government.kif 4571-4576
(=> (attribute ?PERSON JudgeAtLaw) (exists (?ORG) (and (instance ?ORG JudicialOrganization) (instance ?ORG GovernmentOrganization) (employs ?ORG ?PERSON))))	Mid-level-ontology.kif 21025-21031
(=> (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 16865-16871
(=> (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 22466-22471
(=> (holdsDuring ?T1 (coworker ?H1 ?H2)) (exists (?ORG) (and (instance ?ORG Organization) (holdsDuring ?T1 (and (employs ?ORG ?H1) (employs ?ORG ?H2))))))	Mid-level-ontology.kif 23017-23026
(=> (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 8571-8584
(=> (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 22612-22626
(=> (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

statement

(exists (?H)
    (and
        (attribute ?H NewReporter)
        (employs ProPublica ?H)))

Medicine.kif 4590-4593

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: