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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TransferringPosition
TransferringPosition(transferring position)ascend, move_up, rise, transferring_position, 轉移位置, 转移位置

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 14499-14501
(subclass TransferringPosition OrganizationalProcess) Mid-level-ontology.kif 14498-14498 Transferring position is a subclass of organizational process

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


(termFormat ChineseLanguage TransferringPosition "转移位置") domainEnglishFormat.kif 58753-58753 "转移位置" is the printable form of transferring position in ChineseLanguage
(termFormat ChineseTraditionalLanguage TransferringPosition "轉移位置") domainEnglishFormat.kif 58752-58752 "轉移位置" is the printable form of transferring position in ChineseTraditionalLanguage
(termFormat EnglishLanguage TransferringPosition "transferring position") domainEnglishFormat.kif 58751-58751 "transferring position" is the printable form of transferring position in english language

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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners