擁有權的轉移 (ChangeOfPossession)

The Class of Processes where ownership of something is transferred from one Agent to another.

Ontology

SUMO / PROCESSES

Superclass(es)

實體

物質的

歷程

意向性歷程

人際互動

擁有權的轉移

Subclass(es)

給與獲取交易

Coordinate term(s)

溝通競爭合作會面偽裝

Related WordNet synsets

transfer: cause to change ownership; "I transferred my stock holdings to my children"

See more related synsets on a separate page.

Axioms (3)

擁有權的轉移內部相關於擁有.

(relatedInternalConcept ChangeOfPossession possesses)

If change 是擁有權的轉移的實例 and obj 是 change 的受事者 and agent1 (沒) 擁有not(s) obj ""change 存在的時間" 不久之前"a(之中) "change 存在的時間" 不久之前 and agent2 (沒) 擁有not(s) obj ""change 存在的時間" 不久之後"a(之中) "change 存在的時間" 不久之後, then agent1 等於 agent2.

(=>
      (and
            (instance ?CHANGE ChangeOfPossession)
            (patient ?CHANGE ?OBJ)
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?CHANGE))
                  (possesses ?AGENT1 ?OBJ))
            (holdsDuring
                  (ImmediateFutureFn
                        (WhenFn ?CHANGE))
                  (possesses ?AGENT2 ?OBJ)))
      (not
            (equal ?AGENT1 ?AGENT2)))

If change 是擁有權的轉移的實例 and change (不) �_源s 於 agent1 and change (不) 終結not(s) agent2 and agent2 是施事者的實例 and obj 是 change 的受事者, then agent1 (沒) 擁有not(s) obj ""change 存在的時間" 不久之前"a(之中) "change 存在的時間" 不久之前 and agent2 (沒) 擁有not(s) obj ""change 存在的時間" 不久之後"a(之中) "change 存在的時間" 不久之後.

(=>
      (and
            (instance ?CHANGE ChangeOfPossession)
            (origin ?CHANGE ?AGENT1)
            (destination ?CHANGE ?AGENT2)
            (instance ?AGENT2 Agent)
            (patient ?CHANGE ?OBJ))
      (and
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?CHANGE))
                  (possesses ?AGENT1 ?OBJ))
            (holdsDuring
                  (ImmediateFutureFn
                        (WhenFn ?CHANGE))
                  (possesses ?AGENT2 ?OBJ))))