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 15966-15969
s__domain(s__employs__m,n__1,s__Agent)

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

Merge.kif 15965-15965 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 15963-15963 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 21999-21999
s__termFormat(s__ChineseLanguage,s__employs__m,'"雇用"')

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

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

domainEnglishFormat.kif 21997-21997

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 16549-16555 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 3221-3227 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 2201-2205
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19600-19621
( ! [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 2365-2380
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1497-1510
( ! [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 1134-1139
( ! [V__O,V__P,V__A,V__PSP,V__U,V__H] :
   (((s__instance(V__O,s__Agent) &
         s__instance(V__P,s__RealNumber) &
         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,s__MeasureFn(V__P,V__U))
     &
     s__instance(V__U,s__UnitOfCurrency) &
     s__agent(V__A,V__O))
=>
(( ? [V__C, V__PAY] :
     ((s__instance(V__C,s__RealNumber) &
         (s__instance(V__PAY,s__FinancialTransaction) &
           s__transactionAmount(V__PAY,s__MeasureFn(V__C,V__U))
       &
       s__lessThan(V__C,V__P)
     &
     s__destination(V__PAY,V__PSP)))))))))
)
)

FinancialOntology.kif 1146-1161
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3551-3562
( ! [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 16575-16578

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 3597-3604 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 1910-1921
( ! [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 4462-4466
( ! [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 4468-4472
( ! [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 10314-10322
No TPTP formula. May not be expressible in strict first order. Merge.kif 10298-10306
No TPTP formula. May not be expressible in strict first order. Merge.kif 10194-10203
( ! [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 16016-16023
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1877-1889
( ! [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 4590-4595
( ! [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 4583-4588
( ! [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 19996-20002
No TPTP formula. May not be expressible in strict first order. naics.kif 11941-11953
( ! [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 1858-1863
( ! [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 3315-3322
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21537-21542
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22055-22064
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3043-3051
( ! [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 2254-2265
( ! [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 8123-8136
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21649-21663
( ! [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 2273-2280
( ! [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 16072-16074
( ! [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 609-614

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 3.0 is open source software produced by Articulate Software and its partners