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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TransferringPosition

Sigma KEE - TransferringPosition
TransferringPosition(transferring position)ascend, move_up, rise

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


(documentation TransferringPosition EnglishLanguage "Any process within an Organization where a person is moved from one Position to another, e.g. the promotion or demotion of an employee.") Mid-level-ontology.kif 16944-16946
(subclass TransferringPosition OrganizationalProcess) Mid-level-ontology.kif 16943-16943 Transferring position is a subclass of organizational process

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


(termFormat ChineseLanguage TransferringPosition "转移位置") domainEnglishFormat.kif 58808-58808
(termFormat ChineseTraditionalLanguage TransferringPosition "轉移位置") domainEnglishFormat.kif 58807-58807
(termFormat EnglishLanguage TransferringPosition "transferring position") domainEnglishFormat.kif 58806-58806

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


(=>
    (and
        (instance ?T TransferringPosition)
        (experiencer ?T ?H))
    (exists (?P1 ?P2 ?ORG)
        (and
            (holdsDuring
                (BeginFn
                    (WhenFn ?T))
                (occupiesPosition ?H ?P1 ?ORG))
            (holdsDuring
                (EndFn
                    (WhenFn ?T))
                (occupiesPosition ?H ?P2 ?ORG))
            (not
                (equal ?P1 ?P2)))))
Mid-level-ontology.kif 16948-16961


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