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

KB Term:  Term intersection
English Word: 

Sigma KEE - employs
employs

appearance as argument number 1
-------------------------


(instance employs BinaryPredicate) Merge.kif 16994-16994 employs is an instance of binary predicate
(domain employs 1 AutonomousAgent) Merge.kif 16995-16995 The number 1 argument of employs is an instance of agent
(domain employs 2 CognitiveAgent) Merge.kif 16996-16996 The number 2 argument of employs is an instance of cognitive agent
(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 16997-17000 The number 2 argument of employs is an instance of cognitive agent

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage employs "employs") domainEnglishFormat.kif 22002-22002
(termFormat ChineseTraditionalLanguage employs "採用") domainEnglishFormat.kif 22003-22003
(termFormat ChineseLanguage employs "采用") domainEnglishFormat.kif 22004-22004
(format EnglishLanguage employs "%1 %n{doesn't} employ%p{s} %2") english_format.kif 552-552

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


(<=>
    (holdsDuring ?T
        (and
            (instance ?PERSON Human)
            (forall (?ORG)
                (not
                    (employs ?ORG ?PERSON)))))
    (holdsDuring ?T
        (attribute ?PERSON Unemployed)))		 Merge.kif 17604-17612 X is an instance of human, Y Y doesn't employ X holds during Z if, and only if unemployed person is an attribute of X holds during Z
(=>
    (employs ?ORG ?PERSON)
    (exists (?POSITION)
        (occupiesPosition ?PERSON ?POSITION ?ORG)))		 Merge.kif 17632-17635 If X employs Y, then there exists Z such that Y holds the position of Z in X
(=>
    (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 22843-22865 If All of the following hold: (1) waiter is an attribute of X (2) X is an instance of human (3) Y employs X (4) Y is an instance of restaurant (5) Y is a customer of Z (6) Z is located at W (7) W is an instance of table, then All of the following hold: (1) there exist V, U,, , T (2) S such that Y possesses S (3) S is an instance of kitchen area (4) V is an instance of dining area (5) W is located at V (6) X has the purpose U is an instance of carrying (7) X is an agent of U (8) U originates at S (9) U ends up at W (10) T is a patient of U (11) T is an instance of food for human
(<=>
    (employs ?EMPLOYER ?EMPLOYEE)
    (and
        (instance ?EMPLOYER Employer)
        (instance ?EMPLOYEE Employee)))		 Economy.kif 1495-1499 X employs Y if, only if X is an instance of employer, and Y is an instance of employee
(=>
    (and
        (instance ?P PensionPlan)
        (accountHolder ?P ?A)
        (employs ?O ?A))
    (financialAccount ?P ?O))		 FinancialOntology.kif 1217-1222 If X is an instance of pension plan, Y holds account X, and Z employs Y, then X is a financial account of Z
(=>
    (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 1229-1244 If All of the following hold: (1) X is an instance of profit sharing plan (2) Y holds account X (3) Z employs Y (4) the profit from W is V U(s) (5) U is an instance of unit of currency (6) Z is an agent of W, then there exist T and S such that S is an instance of financial transaction and T U(s) is a transaction amount of S and T is less than V and S ends up at X
(<=>
    (employs ?Org ?Agent)
    (exists (?Employment)
        (and
            (property ?Employment Employment)
            (partyToAgreement ?Employment ?Org)
            (partyToAgreement ?Employment ?Agent))))		 FinancialOntology.kif 3317-3323 X employs Y if, only if there exists Z such that Z the attribute employment, X is a party to agreement of Z, and Y is a party to agreement of Z
(=>
    (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 3648-3659 If X is an instance of commercial service, Y is an agent of X, Z employs Y, and X ends up at W, then X has the purpose there exists V such that V is an instance of financial transaction, V ends up at Z, and V originates at W
(=>
    (and
        (attribute ?PERSON SupremeCourtJudge)
        (employs ?ORG ?PERSON))
    (instance ?ORG SupremeCourt))		 Government.kif 2185-2189 If supreme court judge is an attribute of X and Y employs X, then Y is an instance of supreme court
(=>
    (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 1533-1546 If X employs Y, traveler accommodation is an attribute of X, tennis pro is an attribute of Y, and Z is a guest at X, then the statement there exist W, V such that W is an instance of tennis, Y participates in W, Z participates in W, W is located at V, and X is located at V has the modal force of possibility
(=>
    (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 2410-2425 If All of the following hold: (1) X is a customer of Y (2) X employs Z (3) traveler accommodation is an attribute of X (4) porter is an attribute of Z (5) Y possesses W (6) W is an instance of travel container, then there exist V, U such that V is an instance of hotel unit, U is an instance of carrying, Z is an agent of U, and U ends up at V or U originates at V
(=>
    (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 3028-3044 If All of the following hold: (1) X employs Y (2) X employs Z (3) W is an instance of do network messaging (4) V is a result of W (5) not safe for work is an attribute of V (6) Y is an agent of W (7) U is an instance of seeing (8) V is a patient of U (9) Z is an agent of U, then the statement there exists T such that W causes T and Y suffers from T has the modal force of likely
(=>
    (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 3046-3060 If All of the following hold: (1) X employs Y (2) Z is an instance of do network messaging (3) W is a result of Z (4) not safe for work is an attribute of W (5) V is an instance of seeing (6) W is a patient of V (7) Y is an agent of V, then the statement there exists U such that V causes U and Y suffers from U has the modal force of possibility
(=>
    (employs ?EMPLOYEE ?ORG)
    (exists (?AREA)
        (and
            (located ?ORG ?AREA)
            (basedIn ?EMPLOYEE ?ORG ?AREA))))		 TravelPolicies.kif 373-378 If X employs Y, then there exists Z such that Y is located at Z, basedIn X, Y, and Z
(=>
    (and
        (instance ?BT BusinessTrip)
        (agent ?BT ?EMPLOYEE)
        (employs ?ORG ?EMPLOYEE))
    (exists (?TA ?ER ?R)
        (and
            (instance ?TA TravelApproval)
            (instance ?ER ExpenseReport)
            (instance ?R Reimbursement)
            (agent ?TA ?ORG)
            (agent ?ER ?EMPLOYEE)
            (agent ?R ?ORG))))		 TravelPolicies.kif 672-684 If X is an instance of BusinessTrip, Y is an agent of X, and Z employs Y, then All of the following hold: (1) there exist W, V (2) U such that W is an instance of TravelApproval (3) V is an instance of ExpenseReport (4) U is an instance of Reimbursement (5) Z is an agent of W (6) Y is an agent of V (7) Z is an agent of U
(=>
    (and
        (instance ?BT BusinessTrip)
        (instance ?AS AccommodationService)
        (subProcess ?AS ?BT)
        (instance ?TP TravelPolicy)
        (agent ?BT ?EMPLOYEE)
        (employs ?COMPANY ?EMPLOYEE)
        (policyOwner ?COMPANY ?TP)
        (policyClause ?PrivRate Obligation ?TP ?COMPANY))
    (exists (?H)
        (and
            (serviceRecipient ?AS ?EMPLOYEE)
            (serviceProvider ?AS ?H)
            (attribute ?H PrivateRate)
            (instance ?H HotelOrganization))))		 TravelPolicies.kif 989-1004 If All of the following hold: (1) X is an instance of BusinessTrip (2) Y is an instance of AccommodationService (3) Y is a subprocess of X (4) Z is an instance of TravelPolicy (5) W is an agent of X (6) V employs W (7) V enacts policy Z (8) policy clause U, obligation, Z and V, then there exists T such that W receives a service during Y, T provides a service during Y, PrivateRate is an attribute of T, and T is an instance of HotelOrganization

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


(=>
    (and
        (instance ?JOIN Hiring)
        (instance ?ORG Organization)
        (agent ?JOIN ?ORG)
        (patient ?JOIN ?PERSON))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?JOIN))
        (employs ?ORG ?PERSON)))		 Merge.kif 10867-10876 If X is an instance of hiring, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Y employs Z holds during immediately after the time of existence of X
(=>
    (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 10971-10979 If X is an instance of hiring, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Y doesn't employ Z holds during the beginning of the time of existence of X and Y employs Z holds during the end of the time of existence of X
(=>
    (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 10987-10995 If X is an instance of terminating employment, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Y employs Z holds during the beginning of the time of existence of X and Y doesn't employ Z holds during the end of the time of existence of X
(=>
    (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 9903-9916 If X is an instance of union organization, then there exist Y, Z such that Z is a member of XY is an instance of corporation, Y employs Z or there exists W such that Y is an instance of industry, W is a member of Y, and W employs Z
(=>
    (colleague ?A1 ?A2 ?ORG)
    (exists (?T)
        (holdsDuring ?T
            (and
                (employs ?ORG ?A1)
                (employs ?ORG ?A2)))))		 Mid-level-ontology.kif 18453-18459 If X and Y were employs by the same organization Z, then there exists W such that Z employs X and Z employs Y holds during W
(=>
    (and
        (instance ?STRIKE LaborStriking)
        (agent ?STRIKE ?PERSON)
        (instance ?PERSON Human)
        (patient ?STRIKE ?ORG)
        (instance ?ORG Organization))
    (employs ?ORG ?PERSON))		 Mid-level-ontology.kif 18534-18541 If X is an instance of labor striking, Y is an agent of X, Y is an instance of human, Z is a patient of X, and Z is an instance of organization, then Z employs Y
(=>
    (monetaryWage ?ORG ?PERSON ?TIME ?MONEY)
    (employs ?ORG ?PERSON))		 Mid-level-ontology.kif 18590-18592 If X is monetary wage Y for Z with W, then X employs Y
(=>
    (attribute ?PERSON JudgeAtLaw)
    (exists (?ORG)
        (and
            (instance ?ORG JudicialOrganization)
            (instance ?ORG GovernmentOrganization)
            (employs ?ORG ?PERSON))))		 Mid-level-ontology.kif 23240-23246 If judge is an attribute of X, then there exists Y such that Y is an instance of judicial organization, Y is an instance of government organization, and Y employs X
(=>
    (holdsDuring ?T1
        (attribute ?X GovernmentPerson))
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (holdsDuring ?T1
                (employs ?GOV ?X)))))		 Mid-level-ontology.kif 24691-24696 If government person is an attribute of X holds during Y, then there exists Z such that Z is an instance of government and Z employs X holds during Y
(=>
    (instance ?X RestaurantBuilding)
    (hasPurpose ?X
        (exists (?OWN ?EMP ?P ?PAY)
            (and
                (employs ?OWN ?EMP)
                (possesses ?OWN ?X)
                (instance ?P Human)
                (instance ?PAY FinancialTransaction)
                (agent ?PAY ?P)
                (patient ?PAY ?EMP)
                (confersRight ?EMP ?P
                    (exists (?EV)
                        (and
                            (instance ?EV Eating)
                            (agent ?EV ?P)
                            (eventLocated ?EV ?X))))))))		 Mid-level-ontology.kif 24837-24853 If X is an instance of restaurant building, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y employs Z (3) Y possesses X (4) W is an instance of human (5) V is an instance of financial transaction (6) W is an agent of V (7) Z is a patient of V (8) W allows there exists U such that U is an instance of eating (9) W is an agent of U (10) U is located at X to perform task of the type Z
(=>
    (subordinateInOrganization ?ORG ?PERSON1 ?PERSON2)
    (employs ?ORG ?PERSON1))		 Mid-level-ontology.kif 25013-25015 If X is subordinate in organization Y for Z, then X employs Y
(=>
    (subordinateInOrganization ?ORG ?PERSON1 ?PERSON2)
    (employs ?ORG ?PERSON2))		 Mid-level-ontology.kif 25017-25019 If X is subordinate in organization Y for Z, then X employs Z
(=>
    (holdsDuring ?T1
        (coworker ?H1 ?H2))
    (exists (?ORG)
        (and
            (instance ?ORG Organization)
            (holdsDuring ?T1
                (and
                    (employs ?ORG ?H1)
                    (employs ?ORG ?H2))))))		 Mid-level-ontology.kif 25283-25292 If X is a coworker of Y holds during Z, then there exists W such that W is an instance of organization, W employs Y, and W employs X holds during Z
(=>
    (instance ?G GeniusBar)
    (hasPurpose ?G
        (exists (?M ?CS)
            (and
                (employs ?M AppleComputerCorporation)
                (instance ?CS CustomerSupport)
                (agent ?CS ?M)
                (located ?CS ?G)))))		 ComputingBrands.kif 2995-3003 If X is an instance of Genius Bar, then X has the purpose there exist Y, Z such that Y employs Apple, Z is an instance of customer support, Y is an agent of Z, and Z is located at X
(=>
    (and
        (instance ?Check PayCheck)
        (issuedBy ?Check ?Organization)
        (instance ?Give Giving)
        (destination ?Give ?Agent))
    (employs ?Agent ?Organization))		 FinancialOntology.kif 173-179 If X is an instance of pay check, Y is an issued by of X, Z is an instance of giving, and Z ends up at W, then W employs Y
(=>
    (employeeContribution ?Agent ?Money ?Period)
    (exists (?Org ?Plan)
        (and
            (instance ?Plan PensionPlan)
            (employs ?Org ?Agent)
            (agent ?Plan ?Org)
            (destination ?Plan ?Agent))))		 FinancialOntology.kif 3414-3421 If X employee contribution Y for Z, then there exist W, V such that V is an instance of pension plan, W employs X, W is an agent of V, and V ends up at X
(<=>
    (customerRepresentative ?Person1 ?Person2 ?Org)
    (exists (?Service)
        (and
            (instance ?Service FinancialTransaction)
            (employs ?Org ?Person1)
            (agent ?Service ?Person1)
            (destination ?Service ?Person2))))		 FinancialOntology.kif 3693-3700 X customer representative Y for Z if, only if there exists W such that W is an instance of financial transaction, Z employs X, X is an agent of W, and W ends up at Y
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 GeopoliticalArea))
    (employs
        (GovernmentFn ?AGENT1) ?PERSON))		 Government.kif 4478-4482 If X is diplomatic representative in role Y for Z with W and X is an instance of geopolitical area, then the government of X employs Y
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization))
    (employs ?AGENT1 ?PERSON))		 Government.kif 4484-4488 If X is diplomatic representative in role Y for Z with W and X is an instance of organization, then X employs Y
(=>
    (and
        (representativeAgentToAgent ?SENDER ?REP ?RECEIVER)
        (instance ?SENDER Organization)
        (instance ?REP CognitiveAgent))
    (employs ?SENDER ?REP))		 Government.kif 4599-4604 If X is representative agent to agent Y for Z, X is an instance of organization, and Y is an instance of cognitive agent, then X employs Y
(=>
    (and
        (representativeAgentToAgent ?SENDER ?REP ?RECEIVER)
        (instance ?SENDER Nation)
        (instance ?REP CognitiveAgent))
    (employs
        (GovernmentFn ?SENDER) ?REP))		 Government.kif 4606-4611 If X is representative agent to agent Y for Z, X is an instance of nation, and Y is an instance of cognitive agent, then the government of X employs Y
(=>
    (orgStaff ?AGENT ?POS)
    (exists (?H)
        (and
            (employs ?AGENT ?H)
            (attribute ?H ?POS))))		 Hotel.kif 634-639 If X has staff Y, then there exists Z such that X employs Z and Y is an attribute of Z
(=>
    (capability ChildCareService agent ?X)
    (exists (?SITTER)
        (and
            (employs ?X ?SITTER)
            (capability ChildCareService serviceProvider ?SITTER))))		 Hotel.kif 1900-1905 If X is capable of doing child-care service as a agent, then there exists Y such that X employs Y and Y is capable of doing child-care service as a service provider
(=>
    (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 1920-1932 If X is an instance of nursery, X is an element of belongings of Y, and traveler accommodation is an attribute of Y, then there exist Z, W such that communal is an attribute of X, Y employs Z, Z has the purpose W is an instance of child-care service, and Z provides a service during W
(=>
    (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 1953-1964 If traveler accommodation is an attribute of X and X is capable of doing service as a agent, then All of the following hold: (1) there exist Y (2) Z such that X employs Y (3) maid is an attribute of Y (4) Z is an instance of hotel unit (5) Z is a part of belongings of X (6) Z is capable of doing service as a patient (7) Y is capable of doing service as a service provider

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 4611-4614 There exists X such that NewReporter is an attribute of X and Pro Publica Inc. employs X


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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners