相連 (connects)
The relationship between three things, when one of
the three things connects the other two. More formally, (connects obj1
obj2 obj3) means that (connected obj1 obj2) and (connected obj1 obj3)
and not (connected obj2 obj3).
Ontology
SUMO / MEREOTOPOLOGYClass(es)
Subrelation(s)
連結工程元件
Coordinate term(s)
反面函數
正面函數
部分整體差異函數
部分整體交集函數
部分整體加總函數
主體函數
表皮函數
位置函數
標高
介於
能力
條件或然率
賦予義務
賦予權力
相連的
深度
距離
領域
領域次種類
施事者有意圖
洞
大於
連結
有...職位
相對方位
部分
部分填充
部分位於
偏愛
SUMO外部相關概念
施事者呈現
以...語言呈現
小於
時間介於
時間介於或同時
橫越
Type restrictions
connects(自身連續物體, 自身連續物體, 自身連續物體)
Related WordNet synsets
- connection, connexion, connector, connecter, connective
- something that connects; "he soldered the connection"; "he didn't have the right connector between the amplifier and the speakers"
See more related synsets on a separate page.
Axioms (2)
obj1 連結 obj2 和 obj3 if and only if obj1 與 obj2 相連 and obj1 與 obj3 相連 and obj2 與 obj3 相連.
(<=>
(connects ?OBJ1 ?OBJ2 ?OBJ3)
(and
(connected ?OBJ1 ?OBJ2)
(connected ?OBJ1 ?OBJ3)
(not
(connected ?OBJ2 ?OBJ3))))
If poke 是 戳 的 實例 and poke 是 agent 的 施事者 and obj 是 poke 的 受事者 and inst 對 poke 是 工具, then inst 連結 agent 和 obj "poke 存在 的 時間"a(之中) poke 存在 的 時間.
(=>
(and
(instance ?POKE Poking)
(agent ?POKE ?AGENT)
(patient ?POKE ?OBJ)
(instrument ?POKE ?INST))
(holdsDuring
(WhenFn ?POKE)
(connects ?INST ?AGENT ?OBJ)))