Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

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

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


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

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


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

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 18566-18579 If X is an instance of transferring position and Y experiences X, then there exist Z, W, V such that Y holds the position of Z in V holds during the beginning of the time of existence of X, Y holds the position of W in V holds during the end of the time of existence of X, equal Z, and W


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners