擁有 (possesses)

Relation that holds between an Agent and an Object when the Agent has ownership of the Object.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

種類

可繼承關係

二元述詞

不對稱關係

擁有

Coordinate term(s)

反面函數計數函數正面函數主體函數或然率函數表皮函數弧線重量屬性作者先於或同時肇因次類肇因公民封閉於填滿相連的包含訊息共生複製相交日期降低可能性發展期形式無交集分配文字說明持續時間較早編者元素雇用相等等同關係於利用以...語言表達面對家族關係填充完成次數圖部分大於大於或等於有意圖有技巧在...期間為真須使...為真有權使...為真洞同一元素直接實例直接次種類串列中在注意範圍中增加可能性獨立或然率居住抑制初始化序列實例倒序非反射於... 大於小於小於或等於方式/情狀物質測量時段相接成員情態屬性時段重疊雙親偏序於... 部分填充部分位於路徑長穿入先決條件避免正部分適當填充特性出版範圍範圍次種類實現提及反射於... SUMO內部相關概念兄弟姊妹小於開始次屬性次聚集次圖次序列次歷程次命題次種類次關係包含訊息種類包含訊息實例續接屬性封閉續接屬性表面時間部分時間全序於... 三分法使用（結合）價人造物版本

Type restrictions

possesses(施事者, 物體)

Related WordNet synsets

possession: anything owned or possessed
possession, ownership: the act of possessing; "they took possession of the ball"
ownership: possession with the right to transfer possession to others
property right: the right of ownership
ownership: the state or fact of being an owner
belong: be owned by; be in the possession of; "This book belongs to me"

See more related synsets on a separate page.

Axioms (9)

If agent (不) 想要not(s) obj, then agent (不) 冀求not(s) "agent (沒) 擁有not(s) obj".

(=>
      (wants ?AGENT ?OBJ)
      (desires
            ?AGENT
            (possesses ?AGENT ?OBJ)))

if person (沒) 擁有not(s) obj,
then there exists type so that type 有權使 person 為真 and for all process holds: if process 是 type 的實例, then obj 是 process 的受事者

(=>
      (possesses ?PERSON ?OBJ)
      (exists
            (?TYPE)
            (and
                  (holdsRight ?PERSON ?TYPE)
                  (forall
                        (?PROCESS)
                        (=>
                              (instance ?PROCESS ?TYPE)
                              (patient ?PROCESS ?OBJ))))))

If time 是時間的實例 and agent1 (沒) 擁有not(s) obj timea(之中) time and agent2 (沒) 擁有not(s) obj timea(之中) time, then agent1 等於 agent2.

(=>
      (and
            (instance ?TIME TimePosition)
            (holdsDuring
                  ?TIME
                  (possesses ?AGENT1 ?OBJ))
            (holdsDuring
                  ?TIME
                  (possesses ?AGENT2 ?OBJ)))
      (equal ?AGENT1 ?AGENT2))

obj 是 "person 的附屬物" 的實例 if and only if person (沒) 擁有not(s) obj.

(<=>
      (instance
            ?OBJ
            (PropertyFn ?PERSON))
      (possesses ?PERSON ?OBJ))

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

(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))))

If pursue 是追的實例 and pursue 是 agent 的施事者 and obj 是 pursue 的受事者, then agent not(沒) 擁有(s) obj pursuea(之中) pursue.

(=>
      (and
            (instance ?PURSUE Pursuing)
            (agent ?PURSUE ?AGENT)
            (patient ?PURSUE ?OBJ))
      (holdsDuring
            ?PURSUE
            (not
                  (possesses ?AGENT ?OBJ))))

If doc 是證書的實例 and agent (沒) 擁有not(s) doc, then there exists proc so that doc 賦予 agent 權力執行類型 proc 任務 or doc 賦予 agent 義務執行類型 proc 任務.

(=>
      (and
            (instance ?DOC Certificate)
            (possesses ?AGENT ?DOC))
      (exists
            (?PROC)
            (or
                  (confersRight ?PROC ?DOC ?AGENT)
                  (confersObligation ?PROC ?DOC ?AGENT))))