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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hiring

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 10721-10722
(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 10606-10608
(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 10719-10719 雇用組織に加入subclass では %n
(subclass Hiring OrganizationalProcess) Merge.kif 10605-10605 雇用組織プロセスsubclass では %n

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 10724-10732
(=>
    (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 10610-10618
(=>
    (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 10631-10643
(=>
    (and
        (instance ?JOIN Hiring)
        (instance ?ORG Organization)
        (agent ?JOIN ?ORG)
        (patient ?JOIN ?PERSON))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?JOIN))
        (employs ?ORG ?PERSON)))
Merge.kif 10620-10629


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