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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hiring

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


(documentation Hiring ChineseLanguage "这是当某人成为一个 Organization 雇员的 OrganizationalProcesses。") chinese_format.kif 2955-2956
(documentation Hiring EnglishLanguage "OrganizationalProcesses where someone is made an employee of an Organization.") Merge.kif 10609-10610
(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 10494-10496
(externalImage Hiring "http://upload.wikimedia.org/wikipedia/commons/1/1a/ Rowlandson_Hiring_a_Servant.jpg") pictureList.kif 4972-4972
(externalImage Hiring "http://upload.wikimedia.org/wikipedia/commons/1/1d/ Unclesamwantyou.jpg") pictureList.kif 4973-4973
(externalImage Hiring "http://upload.wikimedia.org/wikipedia/commons/2/22/ NowHiring-Flickr-413132671.jpg") pictureList.kif 4971-4971
(externalImage Hiring "http://upload.wikimedia.org/wikipedia/commons/8/86/ For_hire.jpg") pictureList.kif 4970-4970
(externalImage Hiring "http://upload.wikimedia.org/wikipedia/commons/a/a5/ ArmyCareersOxford20051022_CopyrightKaihsuTai.jpg") pictureList.kif 4874-4874
(subclass Hiring JoiningAnOrganization) Merge.kif 10607-10607 Hiring is a subclass of joining an organization
(subclass Hiring OrganizationalProcess) Merge.kif 10493-10493 Hiring is a subclass of organizational process

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


(termFormat ChineseLanguage Hiring "雇佣") chinese_format.kif 1101-1101
(termFormat EnglishLanguage Hiring "hiring") english_format.kif 1419-1419

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


(=>
    (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 10612-10620
(=>
    (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 10498-10506
(=>
    (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 10519-10531
(=>
    (and
        (instance ?JOIN Hiring)
        (instance ?ORG Organization)
        (agent ?JOIN ?ORG)
        (patient ?JOIN ?PERSON))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?JOIN))
        (employs ?ORG ?PERSON)))		 Merge.kif 10508-10517


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