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


KB Term:  Term intersection
English Word: 

  orientation

 Sigma KEE - Hiring
Hiring(hiring)
more pictures...		book, call-back, contract, contract_out, employ, employment, engage, engagement, hire, hired, indent, indenture, recruit, shape-up, ship, sign, sign_on, sign_up, staff

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


(subclass Hiring OrganizationalProcess) Merge.kif 10852-10852 Hiring is a subclass of organizational process
(documentation Hiring EnglishLanguage "The OrganizationalProcess of becoming a member of an Organization that will conduct a FinancialTransaction, paying the new member for his or her efforts.") Merge.kif 10853-10855 Hiring is a subclass of organizational process
(subclass Hiring JoiningAnOrganization) Merge.kif 10966-10966 Hiring is a subclass of joining an organization
(documentation Hiring EnglishLanguage "OrganizationalProcesses where someone is made an employee of an Organization.") Merge.kif 10968-10969 Hiring is a subclass of joining an organization
(externalImage Hiring "http://upload.wikimedia.org/wikipedia/commons/a/a5/ ArmyCareersOxford20051022_CopyrightKaihsuTai.jpg") pictureList.kif 4872-4872 Hiring is a subclass of joining an organization
(externalImage Hiring "http://upload.wikimedia.org/wikipedia/commons/8/86/ For_hire.jpg") pictureList.kif 4968-4968 Hiring is a subclass of joining an organization
(externalImage Hiring "http://upload.wikimedia.org/wikipedia/commons/2/22/ NowHiring_Flickr-413132671.jpg") pictureList.kif 4969-4969 Hiring is a subclass of joining an organization
(externalImage Hiring "http://upload.wikimedia.org/wikipedia/commons/1/1a/ Rowlandson_Hiring_a_Servant.jpg") pictureList.kif 4970-4970 Hiring is a subclass of joining an organization
(externalImage Hiring "http://upload.wikimedia.org/wikipedia/commons/1/1d/ Unclesamwantyou.jpg") pictureList.kif 4971-4971 Hiring is a subclass of joining an organization

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


(termFormat EnglishLanguage Hiring "hiring") english_format.kif 1423-1423

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


(=>
    (and
        (instance ?JOIN Hiring)
        (instance ?ORG Organization)
        (agent ?JOIN ?ORG)
        (patient ?JOIN ?PERSON))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?JOIN))
            (not
                (member ?PERSON ?ORG)))
        (holdsDuring
            (EndFn
                (WhenFn ?JOIN))
            (member ?PERSON ?ORG))))		 Merge.kif 10857-10865 If X is an instance of hiring, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Z is not a member of Y holds during the beginning of the time of existence of X and Z is a member of Y holds during the end of the time of existence of X
(=>
    (and
        (instance ?JOIN Hiring)
        (instance ?ORG Organization)
        (agent ?JOIN ?ORG)
        (patient ?JOIN ?PERSON))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?JOIN))
        (employs ?ORG ?PERSON)))		 Merge.kif 10867-10876 If X is an instance of hiring, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Y employs Z holds during immediately after the time of existence of X
(=>
    (and
        (instance ?JOIN Hiring)
        (instance ?ORG Organization)
        (agent ?JOIN ?ORG)
        (patient ?JOIN ?PERSON))
    (expects ?ORG
        (exists (?FT)
            (and
                (instance ?FT FinancialTransaction)
                (agent ?FT ?ORG)
                (destination ?FT ?PERSON)
                (earlier
                    (WhenFn ?JOIN)
                    (WhenFn ?FT))))))		 Merge.kif 10878-10890 If X is an instance of hiring, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Y expects there exists W such that W is an instance of financial transaction, Y is an agent of W, W ends up at Z, and the time of existence of X happens earlier than the time of existence of W will be true
(=>
    (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 10971-10979 If X is an instance of hiring, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Y doesn't employ Z holds during the beginning of the time of existence of X and Y employs Z holds during the end of the time of existence of X

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


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