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
-------------------------


s__documentation(s__employs__m,s__ChineseLanguage,'"(employs ?ORG ?PERSON)的意思是 ?ORG 已经聘请了 ?PERSON,并现正以工薪制、每小时制或合约制的方式雇用这个 ?PERSON,以货币为酬劳支付他所提供的服务。"')

chinese_format.kif 3725-3726
s__documentation(s__employs__m,s__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
s__domain(s__employs__m,n__1,s__Agent)

Merge.kif 15438-15438 The number 1 argument of employs is an instance of agent
s__domain(s__employs__m,n__2,s__CognitiveAgent)

Merge.kif 15439-15439 The number 2 argument of employs is an instance of cognitive agent
s__instance(s__employs__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 15437-15437 employs is an instance of binary predicate

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


s__format(s__ChineseLanguage,s__employs__m,'"%1 %n{doesnt} employs %2"')

chinese_format.kif 547-547
s__format(s__EnglishLanguage,s__employs__m,'"%1 %n{doesnt} employ%p{s} %2"')

english_format.kif 555-555
s__termFormat(s__ChineseLanguage,s__employs__m,'"采用"')

domainEnglishFormat.kif 21931-21931
s__termFormat(s__ChineseLanguage,s__employs__m,'"雇用"')

chinese_format.kif 548-548
s__termFormat(s__ChineseTraditionalLanguage,s__employs__m,'"採用"')

domainEnglishFormat.kif 21930-21930
s__termFormat(s__EnglishLanguage,s__employs__m,'"employs"')

domainEnglishFormat.kif 21929-21929

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


( ! [V__PERSON] :
   (((s__instance(V__PERSON,s__Human) &
         ( ! [V__ORG] :
           (s__instance(V__ORG,s__Agent) =>
             ~(s__employs(V__ORG,V__PERSON)))))
     =>
     s__attribute(V__PERSON,s__Unemployed))
   &
   (s__attribute(V__PERSON,s__Unemployed) =>
     (s__instance(V__PERSON,s__Human) &
       ( ! [V__ORG] :
         (s__instance(V__ORG,s__Agent) =>
           ~(s__employs(V__ORG,V__PERSON))))))
)
)

Merge.kif 16020-16026 A cognitive agent is an instance of human and for all an agent the agent doesn't employ the cognitive agent if and only if unemployed is an attribute of the cognitive agent
( ! [V__Agent,V__Org] :
   ((s__instance(V__Agent,s__Agreement) &
       s__instance(V__Agent,s__CognitiveAgent) &
       s__instance(V__Org,s__Agent) &
       s__instance(V__Org,s__Agreement))
     =>
     (s__employs(V__Org,V__Agent)
     =>
     ( ? [V__Employment] :
       ((s__instance(V__Employment,s__CognitiveAgent) &
           (s__property(V__Employment,s__Employment) &
             s__partyToAgreement(V__Employment,V__Org)
           &
           s__partyToAgreement(V__Employment,V__Agent))))))
&
(( ? [V__Employment] :
   ((s__instance(V__Employment,s__CognitiveAgent) &
       (s__property(V__Employment,s__Employment) &
         s__partyToAgreement(V__Employment,V__Org)
       &
       s__partyToAgreement(V__Employment,V__Agent)))))
=>
s__employs(V__Org,V__Agent))
)
)

FinancialOntology.kif 3158-3164 An agent employs an agreement if and only if there exists a cognitive agent such that the cognitive agent the attribute employment and the agent is a party to agreement of the cognitive agent and the agreement is a party to agreement of the cognitive agent
( ! [V__ORG,V__PERSON] :
   ((s__instance(V__ORG,s__Agent) &
       s__instance(V__PERSON,s__CognitiveAgent))
     =>
     (s__attribute(V__PERSON,s__SupremeCourtJudge) &
       s__employs(V__ORG,V__PERSON))
   =>
   s__instance(V__ORG,s__SupremeCourt) )
)

Government.kif 2169-2173
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18261-18282
( ! [V__AGENT,V__CUST,V__X,V__LUGGAGE] :
   ((s__instance(V__AGENT,s__CognitiveAgent) &
       s__instance(V__CUST,s__CognitiveAgent) &
       s__instance(V__X,s__CognitiveAgent))
     =>
     (s__customer(V__CUST,V__AGENT)
     &
     s__employs(V__AGENT,V__X)
   &
   s__attribute(V__AGENT,s__TravelerAccommodation) &
   s__attribute(V__X,s__Porter) &
   s__possesses(V__CUST,V__LUGGAGE)
&
s__instance(V__LUGGAGE,s__TravelContainer))
=>
( ? [V__ROOM, V__CARRY] :
((s__instance(V__ROOM,s__HotelUnit) &
     s__instance(V__CARRY,s__Carrying) &
     s__agent(V__CARRY,V__X)
   &
   (s__destination(V__CARRY,V__ROOM)
   |
   s__origin(V__CARRY,V__ROOM)))))
)
)

Hotel.kif 2338-2353
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1470-1483
( ! [V__O,V__P,V__A] :
   ((s__instance(V__O,s__FinancialCompany) &
       s__instance(V__A,s__CognitiveAgent))
     =>
     (s__instance(V__P,s__PensionPlan) &
       s__accountHolder(V__P,V__A)
     &
     s__employs(V__O,V__A))
=>
s__financialAccount(V__P,V__O)
)
)

FinancialOntology.kif 1124-1129
( ! [V__O,V__P,V__A,V__PSP,V__H] :
   ((s__instance(V__O,s__Agent) &
       s__instance(V__P,s__CurrencyMeasure) &
       s__instance(V__A,s__FinancialTransaction) &
       s__instance(V__H,s__CognitiveAgent))
     =>
     (s__instance(V__PSP,s__ProfitSharingPlan) &
       s__accountHolder(V__PSP,V__H)
     &
     s__employs(V__O,V__H)
   &
   s__profit(V__A,V__P)
&
s__agent(V__A,V__O))
=>
( ? [V__C, V__PAY] :
((s__instance(V__C,s__CurrencyMeasure) &
   (s__instance(V__PAY,s__FinancialTransaction) &
     s__transactionAmount(V__PAY,V__C)
   &
   s__lessThan(V__C,V__P)
&
s__destination(V__PAY,V__PSP)))))
)
)

FinancialOntology.kif 1136-1148
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3488-3499
( ! [V__ORG,V__PERSON] :
   ((s__instance(V__ORG,s__Organization) &
       s__instance(V__PERSON,s__Human))
     =>
     s__employs(V__ORG,V__PERSON)
   =>
   ( ? [V__POSITION] :
     ((s__instance(V__POSITION,s__Position) &
         s__occupiesPosition(V__PERSON,V__POSITION,V__ORG))))
)
)

Merge.kif 16046-16049

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


( ! [V__Org,V__Person2,V__Person1] :
   ((s__instance(V__Org,s__Organization) &
       s__instance(V__Person2,s__CognitiveAgent) &
       s__instance(V__Person1,s__CognitiveAgent))
     =>
     (s__customerRepresentative(V__Person1,V__Person2,V__Org)
     =>
     ( ? [V__Service] :
       ((s__instance(V__Service,s__FinancialTransaction) &
           s__employs(V__Org,V__Person1)
         &
         s__agent(V__Service,V__Person1)
       &
       s__destination(V__Service,V__Person2)))))
&
(( ? [V__Service] :
((s__instance(V__Service,s__FinancialTransaction) &
     s__employs(V__Org,V__Person1)
   &
   s__agent(V__Service,V__Person1)
&
s__destination(V__Service,V__Person2))))
=>
s__customerRepresentative(V__Person1,V__Person2,V__Org))
)
)

FinancialOntology.kif 3534-3541 A cognitive agent customer representative another cognitive agent for an organization if and only if there exists a process such that the process is an instance of financial transaction and the organization employs the cognitive agent and the cognitive agent is an agent of the process and the process ends up at the other cognitive agent
( ! [V__X] :
   (s__instance(V__X,s__Agent) =>
     (s__attribute(V__X,s__TravelerAccommodation) &
       s__capability(s__RoomCleaningService,s__agent__m,V__X))
   =>
   ( ? [V__MAID, V__HOTELROOM] :
     ((s__instance(V__MAID,s__CognitiveAgent) &
         (s__employs(V__X,V__MAID)
         &
         s__attribute(V__MAID,s__Maid) &
         s__instance(V__HOTELROOM,s__HotelUnit) &
         s__part(V__HOTELROOM,s__PropertyFn(V__X))
     &
     s__capability(s__RoomCleaningService,s__patient__m,V__HOTELROOM)
   &
   s__capability(s__RoomCleaningService,s__serviceProvider__m,V__MAID)))))
)
)

Hotel.kif 1883-1894
( ! [V__AGENT2,V__POSITION,V__AGENT1,V__PERSON] :
   ((s__instance(V__AGENT2,s__Agent) &
       s__instance(V__POSITION,s__Position) &
       s__instance(V__PERSON,s__Human))
     =>
     (s__diplomaticRepresentativeInRole(V__AGENT1,V__PERSON,V__POSITION,V__AGENT2)
     &
     s__instance(V__AGENT1,s__GeopoliticalArea))
   =>
   s__employs(s__GovernmentFn(V__AGENT1)
,V__PERSON)
)
)

Government.kif 4417-4421
( ! [V__AGENT2,V__POSITION,V__AGENT1,V__PERSON] :
   ((s__instance(V__AGENT2,s__Agent) &
       s__instance(V__POSITION,s__Position) &
       s__instance(V__PERSON,s__Human))
     =>
     (s__diplomaticRepresentativeInRole(V__AGENT1,V__PERSON,V__POSITION,V__AGENT2)
     &
     s__instance(V__AGENT1,s__Organization))
   =>
   s__employs(V__AGENT1,V__PERSON)
)
)

Government.kif 4423-4427
( ! [V__Agent,V__Give,V__Check,V__Organization] :
   ((s__instance(V__Agent,s__Agent) &
       s__instance(V__Organization,s__CognitiveAgent))
     =>
     (s__instance(V__Check,s__PayCheck) &
       s__issuedBy(V__Check,V__Organization)
     &
     s__instance(V__Give,s__Giving) &
     s__destination(V__Give,V__Agent))
=>
s__employs(V__Agent,V__Organization)
)
)

FinancialOntology.kif 171-177
No TPTP formula. May not be expressible in strict first order. Merge.kif 9995-10003
No TPTP formula. May not be expressible in strict first order. Merge.kif 9979-9987
( ! [V__STRIKE,V__ORG,V__PERSON] :
   ((s__instance(V__STRIKE,s__LaborStriking) &
       s__agent(V__STRIKE,V__PERSON)
     &
     s__instance(V__PERSON,s__Human) &
     s__patient(V__STRIKE,V__ORG)
   &
   s__instance(V__ORG,s__Organization))
=>
s__employs(V__ORG,V__PERSON)
)
)

Mid-level-ontology.kif 14472-14479
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1850-1862
( ! [V__REP,V__RECEIVER,V__SENDER] :
   (s__instance(V__RECEIVER,s__Agent) =>
     (s__representativeAgentToAgent(V__SENDER,V__REP,V__RECEIVER)
     &
     s__instance(V__SENDER,s__Nation) &
     s__instance(V__REP,s__CognitiveAgent))
   =>
   s__employs(s__GovernmentFn(V__SENDER)
,V__REP)
)
)

Government.kif 4545-4550
( ! [V__REP,V__RECEIVER,V__SENDER] :
   (s__instance(V__RECEIVER,s__Agent) =>
     (s__representativeAgentToAgent(V__SENDER,V__REP,V__RECEIVER)
     &
     s__instance(V__SENDER,s__Organization) &
     s__instance(V__REP,s__CognitiveAgent))
   =>
   s__employs(V__SENDER,V__REP)
)
)

Government.kif 4538-4543
( ! [V__PERSON] :
   (s__instance(V__PERSON,s__CognitiveAgent) =>
     s__attribute(V__PERSON,s__JudgeAtLaw) =>
     ( ? [V__ORG] :
       ((s__instance(V__ORG,s__JudicialOrganization) &
           s__instance(V__ORG,s__GovernmentOrganization) &
           s__employs(V__ORG,V__PERSON))))
   )
)

Mid-level-ontology.kif 18679-18685
No TPTP formula. May not be expressible in strict first order. naics.kif 11857-11869
( ! [V__X] :
   (s__instance(V__X,s__Agent) =>
     s__capability(s__ChildCareService,s__agent__m,V__X)
   =>
   ( ? [V__SITTER] :
     ((s__instance(V__SITTER,s__CognitiveAgent) &
         (s__employs(V__X,V__SITTER)
         &
         s__capability(s__ChildCareService,s__serviceProvider__m,V__SITTER)))))
)
)

Hotel.kif 1831-1836
( ! [V__Period,V__Agent,V__Money] :
   ((s__instance(V__Period,s__TimeInterval) &
       s__instance(V__Agent,s__Human) &
       s__instance(V__Money,s__CurrencyMeasure))
     =>
     s__employeeContribution(V__Agent,V__Money,V__Period)
   =>
   ( ? [V__Org, V__Plan] :
     ((s__instance(V__Org,s__Agent) &
         (s__instance(V__Plan,s__PensionPlan) &
           s__employs(V__Org,V__Agent)
         &
         s__agent(V__Plan,V__Org)
       &
       s__destination(V__Plan,V__Agent)))))
)
)

FinancialOntology.kif 3252-3259
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20295-20300
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20864-20871
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3057-3065
( ! [V__MS] :
   (s__instance(V__MS,s__MedicalService) =>
     ( ? [V__AGENT, V__HUMAN, V__PROC] :
       ((s__instance(V__AGENT,s__Agent) &
           s__instance(V__HUMAN,s__CognitiveAgent) &
           (s__agent(V__MS,V__AGENT)
           &
           s__employs(V__AGENT,V__HUMAN)
         &
         s__attribute(V__HUMAN,s__MedicalDoctor) &
         s__serviceProvider(V__MS,V__HUMAN)
       &
       (s__instance(V__PROC,s__TherapeuticProcess) |
         s__instance(V__PROC,s__DiagnosticProcess))
       &
       s__subProcess(V__PROC,V__MS)))))
)
)

Hotel.kif 2227-2238
( ! [V__MEMBER,V__ORG] :
   (s__instance(V__MEMBER,s__CognitiveAgent) =>
     s__instance(V__ORG,s__UnionOrganization) =>
     ( ? [V__COLL] :
       (s__member(V__MEMBER,V__ORG)
       =>
       ((s__instance(V__COLL,s__Corporation) &
           s__employs(V__COLL,V__MEMBER))
       |
       ( ? [V__CORP] :
         ((s__instance(V__CORP,s__Agent) &
             (s__instance(V__COLL,s__Industry) &
               s__member(V__CORP,V__COLL)
             &
             s__employs(V__CORP,V__MEMBER))))))))
)
)

Mid-level-ontology.kif 8270-8283
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20441-20455
( ! [V__X] :
   (s__instance(V__X,s__SecretarialService) =>
     ( ? [V__SP, V__SR, V__SEC] :
       ((s__instance(V__SP,s__CognitiveAgent) &
           s__instance(V__SR,s__CognitiveAgent) &
           s__instance(V__SEC,s__CognitiveAgent) &
           (s__serviceProvider(V__X,V__SP)
           &
           s__serviceRecipient(V__X,V__SR)
         &
         s__employs(V__SP,V__SEC)
       &
       s__attribute(V__SEC,s__ClericalSecretary)))))
)
)

Hotel.kif 2246-2253
( ! [V__MONEY,V__TIME,V__ORG,V__PERSON] :
   ((s__instance(V__MONEY,s__CurrencyMeasure) &
       s__instance(V__TIME,s__TimeDuration) &
       s__instance(V__ORG,s__Organization) &
       s__instance(V__PERSON,s__Human))
     =>
     s__monetaryWage(V__ORG,V__PERSON,V__TIME,V__MONEY)
   =>
   s__employs(V__ORG,V__PERSON)
)
)

Mid-level-ontology.kif 14528-14530
( ! [V__AGENT,V__POS] :
   ((s__instance(V__AGENT,s__Agent) &
       s__instance(V__POS,s__RelationalAttribute))
     =>
     s__orgStaff(V__AGENT,V__POS)
   =>
   ( ? [V__H] :
     ((s__instance(V__H,s__CognitiveAgent) &
         (s__employs(V__AGENT,V__H)
         &
         s__attribute(V__H,V__POS)))))
)
)

Hotel.kif 603-608
( ! [V__ORG,V__PERSON1,V__PERSON2] :
   ((s__instance(V__ORG,s__Organization) &
       s__instance(V__PERSON1,s__Human) &
       s__instance(V__PERSON2,s__Human))
     =>
     s__subordinateInOrganization(V__ORG,V__PERSON1,V__PERSON2)
   =>
   s__employs(V__ORG,V__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