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

Formal Language: 



KB Term:  Term intersection
English Word: 

  employs

Sigma KEE - employs
employs

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


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

Merge.kif 16849-16850
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 16845-16848
s__domain(s__employs__m,1,s__Agent)

Merge.kif 16843-16843
s__domain(s__employs__m,2,s__CognitiveAgent)

Merge.kif 16844-16844
s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 16842-16842

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 332-332
s__format(s__FrenchLanguage,s__employs__m,'%1 %n{n} emploie %n{pas} %2')

french_format.kif 321-321
s__format(s__ItalianLanguage,s__employs__m,'%1 %n{non} impiega%p{s} %2')

relations-it.txt 91-91
s__format(s__PortugueseLanguage,s__employs__m,'%1 %n{nao} emprega %n %2')

portuguese_format.kif 273-273
s__format(s__cz__m,s__employs__m,'%1 %n{doesnt} employ%p{s} %2')

relations-cz.txt 327-327
s__format(s__de__m,s__employs__m,'%1 beschaeftigt %2 %n{nicht}')

relations-de.txt 715-715
s__format(s__hi__m,s__employs__m,'%1 %2 ko niyukta %n{nahiin} karataa hai')

relations-hindi.txt 131-131
s__format(s__tg__m,s__employs__m,'%1 %n ay pagawin %2')

relations-tg.txt 197-197
s__termFormat(s__ChineseLanguage,s__employs__m,'雇用')

chinese_format.kif 548-548
s__termFormat(s__EnglishLanguage,s__employs__m,'employs')

domainEnglishFormat.kif 4089-4089
s__termFormat(s__tg__m,s__employs__m,'pagawin')

relations-tg.txt 198-198

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


( ∀ [V__PERSON]
   ((s__instance(V__PERSON,s__Human) ∧
       (∀ [V__ORG]
         (¬ s__employs(V__ORG,V__PERSON))))
   <⇒
   s__attribute(V__PERSON,s__Unemployed))
)

Merge.kif 17552-17558
( ∀ [V__Org,V__Agent]
   (s__employs(V__Org,V__Agent)
   <⇒
   (∃ [V__Employment]
     (s__property(V__Employment,s__Employment) ∧
       s__partyToAgreement(V__Employment,V__Org)
     ∧
     s__partyToAgreement(V__Employment,V__Agent))))
)

FinancialOntology.kif 3151-3157
( ∀ [V__PERSON,V__ORG]
   ((s__attribute(V__PERSON,s__SupremeCourtJudge) ∧
       s__employs(V__ORG,V__PERSON))
   ⇒
   s__instance(V__ORG,s__SupremeCourt))
)

Government.kif 2175-2179
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18201-18222
( ∀ [V__CUST,V__AGENT,V__X,V__LUGGAGE]
   ((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 2333-2348
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1466-1479
( ∀ [V__BT,V__EMPLOYEE,V__ORG]
   ((s__instance(V__BT,s__BusinessTrip) ∧
       s__agent(V__BT,V__EMPLOYEE)
     ∧
     s__employs(V__ORG,V__EMPLOYEE))

(∃ [V__TA,V__ER,V__R]
   (s__instance(V__TA,s__TravelApproval) ∧
     s__instance(V__ER,s__ExpenseReport) ∧
     s__instance(V__R,s__Reimbursement) ∧
     s__agent(V__TA,V__ORG)
   ∧
   s__agent(V__ER,V__EMPLOYEE)

s__agent(V__R,V__ORG))))
)

TravelPolicies.kif 670-682
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 869-884
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 887-902
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 980-995
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 1106-1124
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 1179-1194
( ∀ [V__P,V__A,V__O]
   ((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 1125-1130
( ∀ [V__PSP,V__H,V__O,V__A,V__P]
   ((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__PAY,s__FinancialTransaction) ∧
s__transactionAmount(V__PAY,V__C)

s__lessThan(V__C,V__P)

s__destination(V__PAY,V__PSP))))
)

FinancialOntology.kif 1137-1149
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3481-3492
( ∀ [V__EMPLOYEE,V__ORG]
   (s__employs(V__EMPLOYEE,V__ORG)
   ⇒
   (∃ [V__AREA]
     (s__located(V__ORG,V__AREA)
     ∧
     s__basedIn(V__EMPLOYEE,V__ORG,V__AREA))))
)

TravelPolicies.kif 376-381
( ∀ [V__ORG,V__PERSON]
   (s__employs(V__ORG,V__PERSON)
   ⇒
   (∃ [V__POSITION]
     s__occupiesPosition(V__PERSON,V__POSITION,V__ORG)))
)

Merge.kif 17583-17586

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


( ∀ [V__Person1,V__Person2,V__Org]
   (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))))
)

FinancialOntology.kif 3527-3534
( ∀ [V__X]
   ((s__attribute(V__X,s__TravelerAccommodation) ∧
       s__capability(s__RoomCleaningService,s__agent__m,V__X))
   ⇒
   (∃ [V__MAID,V__HOTELROOM]
     (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 1879-1890
( ∀ [V__AGENT1,V__PERSON,V__POSITION,V__AGENT2]
   ((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 4423-4427
( ∀ [V__AGENT1,V__PERSON,V__POSITION,V__AGENT2]
   ((s__diplomaticRepresentativeInRole(V__AGENT1,V__PERSON,V__POSITION,V__AGENT2)
     ∧
     s__instance(V__AGENT1,s__Organization))
   ⇒
   s__employs(V__AGENT1,V__PERSON))
)

Government.kif 4429-4433
( ∀ [V__BT,V__EMPLOYEE]
   ((s__instance(V__BT,s__BusinessTrip) ∧
       s__agent(V__BT,V__EMPLOYEE))
   ⇒
   (∃ [V__TRAVELREQUEST,V__CORPORATION]
     (s__employs(V__CORPORATION,V__EMPLOYEE)
     ∧
     s__instance(V__TRAVELREQUEST,s__Requesting) ∧
     s__agent(V__TRAVELREQUEST,V__EMPLOYEE)
   ∧
   s__result(V__TRAVELREQUEST,V__BT))))
)

TravelPolicies.kif 486-495
( ∀ [V__Check,V__Organization,V__Give,V__Agent]
   ((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 10639-10647
No TPTP formula. May not be expressible in strict first order. Merge.kif 10622-10630
( ∀ [V__STRIKE,V__PERSON,V__ORG]
   ((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 14471-14478
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1846-1858
( ∀ [V__SENDER,V__REP,V__RECEIVER]
   ((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 4551-4556
( ∀ [V__SENDER,V__REP,V__RECEIVER]
   ((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 4544-4549
( ∀ [V__P]
   (s__attribute(V__P,s__Employee) ⇒
     (∃ [V__BUS]
       (s__instance(V__P,s__Human) ∧
         s__employs(V__BUS,V__P))))
)

Society.kif 265-270
( ∀ [V__P]
   (s__attribute(V__P,s__VIP) ⇒
     (∃ [V__ORG]
       (s__employs(V__ORG,V__P)
       ∧
       s__instance(V__P,s__Human) ∧
       s__attribute(V__P,s__VIP))))
)

TravelPolicies.kif 926-932
( ∀ [V__PERSON]
   (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 18619-18625
No TPTP formula. May not be expressible in strict first order. naics.kif 11859-11871
( ∀ [V__X]
   (s__capability(s__ChildCareService,s__agent__m,V__X)
   ⇒
   (∃ [V__SITTER]
     (s__employs(V__X,V__SITTER)
     ∧
     s__capability(s__ChildCareService,s__serviceProvider__m,V__SITTER))))
)

Hotel.kif 1827-1832
( ∀ [V__Agent,V__Money,V__Period]
   (s__employeeContribution(V__Agent,V__Money,V__Period)
   ⇒
   (∃ [V__Org,V__Plan]
     (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 3245-3252
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20224-20229
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20820-20827
( ∀ [V__AF]
   (s__instance(V__AF,s__ArchitectureFirm) ⇒
     (∃ [V__A]
       (s__instance(V__AF,s__Business) ∧
         s__attribute(V__A,s__Architect) ∧
         s__employs(V__AF,V__A))))
)

Society.kif 155-161
( ∀ [V__BUS]
   (s__instance(V__BUS,s__Business) ⇒
     (∃ [V__P]
       (s__instance(V__P,s__Human) ∧
         s__employs(V__BUS,V__P))))
)

Society.kif 255-260
( ∀ [V__DP]
   (s__instance(V__DP,s__DentalPractice) ⇒
     (∃ [V__D]
       (s__instance(V__DP,s__Business) ∧
         s__attribute(V__D,s__Dentist) ∧
         s__employs(V__DP,V__D))))
)

Society.kif 181-187
( ∀ [V__ER]
   (s__instance(V__ER,s__ExpenseReport) ⇒
     (∃ [V__PHYS,V__ENTITY,V__AGENT1,V__AGENT2]
       (s__refers(V__PHYS,V__ENTITY)
       ∧
       s__patient(V__ER,V__PHYS)
     ∧
     s__instance(V__AGENT1,s__CognitiveAgent) ∧
     s__agent(V__ER,V__AGENT1)
   ∧
   s__instance(V__AGENT2,s__CognitiveAgent) ∧
   s__destination(V__ER,V__AGENT2)

s__employs(V__AGENT2,V__AGENT1))))
)

TravelPolicies.kif 630-640
( ∀ [V__LF]
   (s__instance(V__LF,s__LawFirm) ⇒
     (∃ [V__L]
       (s__instance(V__LF,s__Business) ∧
         s__attribute(V__L,s__Lawyer) ∧
         s__employs(V__LF,V__L))))
)

Society.kif 167-173

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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

Show without tree


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