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


KB Term:  Term intersection
English Word: 

  Employee

 Sigma KEE - Employee
Employee(employee)Pullman_porter, company_man, copyist, copywriter, crewman, deliverer, delivery_boy, deliveryman, dispatcher, dog_catcher, employee, floater, floorwalker, gardener, gasman, gofer, hire, hired_help, hireling, jobholder, line_worker, liveryman, office_boy, organization_man, pensionary, porter, potboy, potman, public_servant, railroad_man, railroader, railway_man, railwayman, registrar, sandwichman, scribe, scrivener, shopwalker, spotter, staff_member, staffer, stage_technician, stagehand, stock-taker, stocktaker, sweeper, toll_agent, toll_collector, toll_taker, toller...

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


(documentation Employee EnglishLanguage "A worker who is hired to perform a job.") Economy.kif 1482-1482
(instance Employee SocialRole) Economy.kif 1483-1483 Employee is an instance of social role

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


(termFormat EnglishLanguage Employee "employee") Economy.kif 1484-1484

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


(=>
    (instance ?EMPLOYEE Employee)
    (exists (?HIRING ?EMPLOYER)
        (and
            (instance ?HIRING Hiring)
            (instance ?EMPLOYER Employer)
            (agent ?HIRING ?EMPLOYER)
            (patient ?HIRING ?EMPLOYEE))))		 Economy.kif 1486-1493 If X is an instance of employee, then there exist Y, Z such that Y is an instance of hiring, Z is an instance of employer, Z is an agent of Y, and X is a patient of Y

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


(=>
    (instance ?EMPLOYER Employer)
    (exists (?HIRING ?EMPLOYEE)
        (and
            (instance ?HIRING Hiring)
            (instance ?EMPLOYEE Employee)
            (agent ?HIRING ?EMPLOYER)
            (patient ?HIRING ?EMPLOYEE))))		 Economy.kif 1473-1480 If X is an instance of employer, then there exist Y, Z such that Y is an instance of hiring, Z is an instance of employee, X is an agent of Y, and Z is a patient of Y
(<=>
    (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


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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners