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 15440-15443
(domain employs 1 Agent) Merge.kif 15438-15438 雇用 的 1 数量 是 施事体instance
(domain employs 2 CognitiveAgent) Merge.kif 15439-15439 雇用 的 2 数量 是 有认知的主事instance
(instance employs BinaryPredicate) Merge.kif 15437-15437 雇用二元谓语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 555-555
(termFormat ChineseLanguage employs "采用") domainEnglishFormat.kif 21931-21931
(termFormat ChineseLanguage employs "雇用") chinese_format.kif 548-548
(termFormat ChineseTraditionalLanguage employs "採用") domainEnglishFormat.kif 21930-21930
(termFormat EnglishLanguage employs "employs") domainEnglishFormat.kif 21929-21929

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


(<=>
    (and
        (instance ?PERSON Human)
        (forall (?ORG)
            (not
                (employs ?ORG ?PERSON))))
    (attribute ?PERSON Unemployed))
Merge.kif 16020-16026 有认知的主事人类instance 和 对所有 施事体 那个 施事体 doesn't employs 那个 有认知的主事 若且唯若 失业的那个 有认知的主事attribute
(<=>
    (employs ?Org ?Agent)
    (exists (?Employment)
        (and
            (property ?Employment Employment)
            (partyToAgreement ?Employment ?Org)
            (partyToAgreement ?Employment ?Agent))))
FinancialOntology.kif 3158-3164 施事体 employs 协议 若且唯若 有存在 有认知的主事 这样 那个 有认知的主事雇用attribute那个 施事体那个 有认知的主事party 协议 和 那个 协议那个 有认知的主事party 协议
(=>
    (and
        (attribute ?PERSON SupremeCourtJudge)
        (employs ?ORG ?PERSON))
    (instance ?ORG SupremeCourt))
Government.kif 2169-2173
(=>
    (and
        (attribute ?X Waiter)
        (instance ?X Human)
        (employs ?REST ?X)
        (instance ?REST Restaurant)
        (customer ?CUST ?REST)
        (located ?CUST ?TABLE)
        (instance ?TABLE Table))
    (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 18261-18282
(=>
    (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 2338-2353
(=>
    (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 1470-1483
(=>
    (and
        (instance ?P PensionPlan)
        (accountHolder ?P ?A)
        (employs ?O ?A))
    (financialAccount ?P ?O))
FinancialOntology.kif 1124-1129
(=>
    (and
        (instance ?PSP ProfitSharingPlan)
        (accountHolder ?PSP ?H)
        (employs ?O ?H)
        (profit ?A ?P)
        (agent ?A ?O))
    (exists (?C ?PAY)
        (and
            (instance ?PAY FinancialTransaction)
            (transactionAmount ?PAY ?C)
            (lessThan ?C ?P)
            (destination ?PAY ?PSP))))
FinancialOntology.kif 1136-1148
(=>
    (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 3488-3499
(=>
    (employs ?ORG ?PERSON)
    (exists (?POSITION)
        (occupiesPosition ?PERSON ?POSITION ?ORG)))
Merge.kif 16046-16049

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


(<=>
    (customerRepresentative ?Person1 ?Person2 ?Org)
    (exists (?Service)
        (and
            (instance ?Service FinancialTransaction)
            (employs ?Org ?Person1)
            (agent ?Service ?Person1)
            (destination ?Service ?Person2))))
FinancialOntology.kif 3534-3541 有认知的主事 对于 %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 1883-1894
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 GeopoliticalArea))
    (employs
        (GovernmentFn ?AGENT1) ?PERSON))
Government.kif 4417-4421
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization))
    (employs ?AGENT1 ?PERSON))
Government.kif 4423-4427
(=>
    (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 9995-10003
(=>
    (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 9979-9987
(=>
    (and
        (instance ?STRIKE LaborStriking)
        (agent ?STRIKE ?PERSON)
        (instance ?PERSON Human)
        (patient ?STRIKE ?ORG)
        (instance ?ORG Organization))
    (employs ?ORG ?PERSON))
Mid-level-ontology.kif 14472-14479
(=>
    (and
        (instance ?X Nursery)
        (element ?X
            (PropertyFn ?HOTEL))
        (attribute ?HOTEL TravelerAccommodation))
    (and
        (attribute ?X CommunalAttribute)
        (employs ?HOTEL ?NANNY)
        (hasPurpose ?NANNY
            (exists (?CARE)
                (and
                    (instance ?CARE ChildCareService)
                    (serviceProvider ?CARE ?NANNY))))))
Hotel.kif 1850-1862
(=>
    (and
        (representativeAgentToAgent ?SENDER ?REP ?RECEIVER)
        (instance ?SENDER Nation)
        (instance ?REP CognitiveAgent))
    (employs
        (GovernmentFn ?SENDER) ?REP))
Government.kif 4545-4550
(=>
    (and
        (representativeAgentToAgent ?SENDER ?REP ?RECEIVER)
        (instance ?SENDER Organization)
        (instance ?REP CognitiveAgent))
    (employs ?SENDER ?REP))
Government.kif 4538-4543
(=>
    (attribute ?PERSON JudgeAtLaw)
    (exists (?ORG)
        (and
            (instance ?ORG JudicialOrganization)
            (instance ?ORG GovernmentOrganization)
            (employs ?ORG ?PERSON))))
Mid-level-ontology.kif 18679-18685
(=>
    (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 11857-11869
(=>
    (capability ChildCareService agent ?X)
    (exists (?SITTER)
        (and
            (employs ?X ?SITTER)
            (capability ChildCareService serviceProvider ?SITTER))))
Hotel.kif 1831-1836
(=>
    (employeeContribution ?Agent ?Money ?Period)
    (exists (?Org ?Plan)
        (and
            (instance ?Plan PensionPlan)
            (employs ?Org ?Agent)
            (agent ?Plan ?Org)
            (destination ?Plan ?Agent))))
FinancialOntology.kif 3252-3259
(=>
    (holdsDuring ?T1
        (attribute ?X GovernmentPerson))
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (holdsDuring ?T1
                (employs ?GOV ?X)))))
Mid-level-ontology.kif 20295-20300
(=>
    (holdsDuring ?T1
        (coworker ?H1 ?H2))
    (exists (?ORG)
        (and
            (instance ?ORG Organization)
            (holdsDuring ?T1
                (and
                    (employs ?ORG ?H1)
                    (employs ?ORG ?H2))))))
Mid-level-ontology.kif 20864-20871
(=>
    (instance ?G GeniusBar)
    (hasPurpose ?G
        (exists (?M ?CS)
            (and
                (employs ?M AppleComputerCorporation)
                (instance ?CS CustomerSupport)
                (agent ?CS ?M)
                (located ?CS ?G)))))
ComputingBrands.kif 3057-3065
(=>
    (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 2227-2238
(=>
    (instance ?ORG UnionOrganization)
    (exists (?COLL)
        (=>
            (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 8270-8283
(=>
    (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 20441-20455
(=>
    (instance ?X SecretarialService)
    (exists (?SP ?SR ?SEC)
        (and
            (serviceProvider ?X ?SP)
            (serviceRecipient ?X ?SR)
            (employs ?SP ?SEC)
            (attribute ?SEC ClericalSecretary))))
Hotel.kif 2246-2253
(=>
    (monetaryWage ?ORG ?PERSON ?TIME ?MONEY)
    (employs ?ORG ?PERSON))
Mid-level-ontology.kif 14528-14530
(=>
    (orgStaff ?AGENT ?POS)
    (exists (?H)
        (and
            (employs ?AGENT ?H)
            (attribute ?H ?POS))))
Hotel.kif 603-608
(=>
    (subordinateInOrganization ?ORG ?PERSON1 ?PERSON2)
    (employs ?ORG ?PERSON1))
Mid-level-ontology.kif 20622-20624

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners