相連的 (connected)

joining, connection, connexion, connecting: the act of bringing two things into contact
connection, link, connectedness: the state of being connected; "the connection between church and state is inescapable"
connected: joined or linked together

See more related synsets on a separate page.

Axioms (19)

無交集關係(相交,相連的) holds.

(disjointRelation crosses connected)

If obj1 與 obj2 相連, then obj1 (沒) 接觸s obj2 or obj1 (沒) 與 obj2 重�|s.

(=>
      (connected ?OBJ1 ?OBJ2)
      (or
            (meetsSpatially ?OBJ1 ?OBJ2)
            (overlapsSpatially ?OBJ1 ?OBJ2)))

obj 是自身連續物體的實例 if and only if for all part1,part2 holds: if obj 等於 "part1 和 part2 的聯集", then part1 與 part2 相連.

(<=>
      (instance ?OBJ SelfConnectedObject)
      (forall
            (?PART1 ?PART2)
            (=>
                  (equal
                        ?OBJ
                        (MereologicalSumFn ?PART1 ?PART2))
                  (connected ?PART1 ?PART2))))

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 object 的底部是 bottom and part 是 object 的部分) and part 與 bottom 相連, then part 對 bottom 是在...之上.

(=>
      (and
            (bottom ?BOTTOM ?OBJECT)
            (part ?PART ?OBJECT)
            (not
                  (connected ?PART ?BOTTOM)))
      (orientation ?PART ?BOTTOM Above))

If object 的頂端是 top and part 是 object 的部分) and part 與 top 相連, then part 對 top 是在...之下.

(=>
      (and
            (top ?TOP ?OBJECT)
            (part ?PART ?OBJECT)
            (not
                  (connected ?PART ?TOP)))
      (orientation ?PART ?TOP Below))

If object 的側面是 side and part 是 object 的部分) and part 與 side 相連, then there exists direct so that side 對 part 是 direct.

(=>
      (and
            (side ?SIDE ?OBJECT)
            (part ?PART ?OBJECT)
            (not
                  (connected ?PART ?SIDE)))
      (exists
            (?DIRECT)
            (orientation ?SIDE ?PART ?DIRECT)))

If hole 在 obj 是 �}, then hole 與 obj 相連.

(=>
      (hole ?HOLE ?OBJ)
      (connected ?HOLE ?OBJ))

if obj1 (沒) 填充s hole,
then for all obj2 holds: if obj2 與 hole 相連, then obj2 與 obj1 相連

(=>
      (completelyFills ?OBJ1 ?HOLE)
      (forall
            (?OBJ2)
            (=>
                  (connected ?OBJ2 ?HOLE)
                  (connected ?OBJ2 ?OBJ1))))

If obj1 (沒) 適當填充s hole and obj2 與 obj1 相連, then hole 與 obj2 相連.

(=>
      (and
            (properlyFills ?OBJ1 ?HOLE)
            (connected ?OBJ2 ?OBJ1))
      (connected ?HOLE ?OBJ2))

If touch 是觸動的實例 and touch 是 obj1 的施事者 and obj2 是 touch 的受事者, then obj1 與 obj2 相連 ""touch 存在的時間" 不久之後"a(之中) "touch 存在的時間" 不久之後.

(=>
      (and
            (instance ?TOUCH Touching)
            (agent ?TOUCH ?OBJ1)
            (patient ?TOUCH ?OBJ2))
      (holdsDuring
            (ImmediateFutureFn
                  (WhenFn ?TOUCH))
            (connected ?OBJ1 ?OBJ2)))

If attach 是貼附的實例 and obj1 是 attach 的受事者 and obj2 是 attach 的受事者, then obj1 與 obj2 相連 ""attach 存在的時間" 不久之前"a(之中) "attach 存在的時間" 不久之前 and obj1 與 obj2 相連 ""attach 存在的時間" 不久之後"a(之中) "attach 存在的時間" 不久之後.

(=>
      (and
            (instance ?ATTACH Attaching)
            (patient ?ATTACH ?OBJ1)
            (patient ?ATTACH ?OBJ2))
      (and
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?ATTACH))
                  (not
                        (connected ?OBJ1 ?OBJ2)))
            (holdsDuring
                  (ImmediateFutureFn
                        (WhenFn ?ATTACH))
                  (connected ?OBJ1 ?OBJ2))))

If detach 是脫離的實例 and obj1 是 detach 的受事者 and obj2 是 detach 的受事者, then obj1 與 obj2 相連 ""detach 存在的時間" 不久之前"a(之中) "detach 存在的時間" 不久之前 and obj1 與 obj2 相連 ""detach 存在的時間" 不久之後"a(之中) "detach 存在的時間" 不久之後.

(=>
      (and
            (instance ?DETACH Detaching)
            (patient ?DETACH ?OBJ1)
            (patient ?DETACH ?OBJ2))
      (and
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?DETACH))
                  (connected ?OBJ1 ?OBJ2))
            (holdsDuring
                  (ImmediateFutureFn
                        (WhenFn ?DETACH))
                  (not
                        (connected ?OBJ1 ?OBJ2)))))

If island 是島嶼的實例, then there don't exist 陸地 area,part1,part2 so that part1 是 island 的部分) and part2 是 area 的部分) and island 是 area 的部分) and area 是 island 的部分) and part1 與 part2 相連.

(=>
      (instance ?ISLAND Island)
      (not
            (exists
                  (?AREA ?PART1 ?PART2)
                  (and
                        (instance ?AREA LandArea)
                        (part ?PART1 ?ISLAND)
                        (part ?PART2 ?AREA)
                        (not
                              (part ?ISLAND ?AREA))
                        (not
                              (part ?AREA ?ISLAND))
                        (connected ?PART1 ?PART2)))))

If junct 是軀體接點的實例, then there exist 軀體部件 struct1,軀體部件 struct2 so that junct 與 struct1 相連 and junct 與 struct2 相連 and struct1 等於 struct2.

(=>
      (instance ?JUNCT BodyJunction)
      (exists
            (?STRUCT1 ?STRUCT2)
            (and
                  (connected ?JUNCT ?STRUCT1)
                  (connected ?JUNCT ?STRUCT2)
                  (instance ?STRUCT1 BodyPart)
                  (instance ?STRUCT2 BodyPart)
                  (not
                        (equal ?STRUCT1 ?STRUCT2)))))

If obj1 對 obj2 是在...之上, then obj1 與 obj2 相連.

(=>
      (orientation ?OBJ1 ?OBJ2 Above)
      (not
            (connected ?OBJ1 ?OBJ2)))

If obj1 對 obj2 是鄰近的, then obj1 對 obj2 是接近 or obj1 與 obj2 相連.

(=>
      (orientation ?OBJ1 ?OBJ2 Adjacent)
      (or
            (orientation ?OBJ1 ?OBJ2 Near)
            (connected ?OBJ1 ?OBJ2)))

If obj1 對 obj2 是接近, then obj1 與 obj2 相連.

(=>
      (orientation ?OBJ1 ?OBJ2 Near)
      (not
            (connected ?OBJ1 ?OBJ2)))

If obj1 對 obj2 是在...上, then obj1 與 obj2 相連.

(=>
      (orientation ?OBJ1 ?OBJ2 On)
      (connected ?OBJ1 ?OBJ2))