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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 10755-10756
(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 10640-10642
(documentation Hiring JapaneseLanguage "誰かが Organization の従業員になる OrganizationalProcesses 。") japanese_format.kif 1710-1711
(externalImage Hiring "http://upload.wikimedia.org/wikipedia/commons/1/1a/ Rowlandson_Hiring_a_Servant.jpg") pictureList.kif 4971-4971
(externalImage Hiring "http://upload.wikimedia.org/wikipedia/commons/1/1d/ Unclesamwantyou.jpg") pictureList.kif 4972-4972
(externalImage Hiring "http://upload.wikimedia.org/wikipedia/commons/2/22/ NowHiring-Flickr-413132671.jpg") pictureList.kif 4970-4970
(externalImage Hiring "http://upload.wikimedia.org/wikipedia/commons/8/86/ For_hire.jpg") pictureList.kif 4969-4969
(externalImage Hiring "http://upload.wikimedia.org/wikipedia/commons/a/a5/ ArmyCareersOxford20051022_CopyrightKaihsuTai.jpg") pictureList.kif 4873-4873
(subclass Hiring JoiningAnOrganization) Merge.kif 10753-10753 Hiring is a subclass of joining an organization
(subclass Hiring OrganizationalProcess) Merge.kif 10639-10639 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
(termFormat FrenchLanguage Hiring "engager") french_format.kif 779-779
(termFormat Hindi Hiring "niyukti") terms-hindi.txt 311-311
(termFormat ItalianLanguage Hiring "Assunzione") terms-it.txt 314-314
(termFormat JapaneseLanguage Hiring "雇用") japanese_format.kif 2463-2463
(termFormat PortugueseLanguage Hiring "Empregar") portuguese_format.kif 731-731
(termFormat cb Hiring "pag-abang") terms-cb.txt 316-316
(termFormat cz Hiring "hiring") terms-cz.txt 350-350
(termFormat ro Hiring "angajare") relations-ro.kif 800-800
(termFormat tg Hiring "pag-arkila") terms-tg.txt 315-315

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 10758-10766
(=>
    (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 10644-10652
(=>
    (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 10665-10677
(=>
    (and
        (instance ?JOIN Hiring)
        (instance ?ORG Organization)
        (agent ?JOIN ?ORG)
        (patient ?JOIN ?PERSON))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?JOIN))
        (employs ?ORG ?PERSON)))
Merge.kif 10654-10663


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