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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Hiring
Hiring
more pictures...

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
(subclass Hiring OrganizationalProcess) Merge.kif 10493-10493

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