外表部分 (superficialPart)

(superficialPart obj1 obj2) means that obj1 is a part of obj2 that has no interior parts of its own (or, intuitively, that only overlaps those parts of obj2 that are externally connected with the mereological complement of obj2). This too is a transitive relation closed under MereologicalSumFn and MereologicalProductFn.

Ontology

SUMO / MEREOTOPOLOGY

Class(es)

非反身關係

可遞關係

外表部分

Superrelation(s)

部分位於

位於

部分

外表部分

Subrelation(s)

表面底部頂端側面

Coordinate term(s)

反面函數正面函數屬性先於已連結工程元件相交降低可能性發展期形式無交集期間較早完成圖部分大於串列中增加可能性抑制內部大於小於方式/情狀空間上接觸情態屬性部分重疊路徑長先決條件避免正部分兄弟姊妹小於開始次聚集次圖次組織次計畫次命題封閉續接屬性人造物版本

Related WordNet synsets

edge, border: the boundary of a surface

See more related synsets on a separate page.

Axioms (8)

If obj1 是 obj2的 �~表部分, then obj1 是 obj2 的一內部 and there doesn't exist obj3 so that obj3 是 obj1 的一內部.

(=>
      (superficialPart ?OBJ1 ?OBJ2)
      (and
            (not
                  (interiorPart ?OBJ1 ?OBJ2))
            (not
                  (exists
                        (?OBJ3)
                        (interiorPart ?OBJ3 ?OBJ1)))))

if obj1 是 obj2 的表面,
then for all obj3 holds: if obj3 是 obj2的 �~表部分, then obj3 是 obj1 的部分)

(=>
      (surface ?OBJ1 ?OBJ2)
      (forall
            (?OBJ3)
            (=>
                  (superficialPart ?OBJ3 ?OBJ2)
                  (part ?OBJ3 ?OBJ1))))

if obj1 是 obj2 的一內部,
then for all part holds: if part 是 obj2的 �~表部分, then obj1 not(沒) 與 part 重�|

(=>
      (interiorPart ?OBJ1 ?OBJ2)
      (forall
            (?PART)
            (=>
                  (superficialPart ?PART ?OBJ2)
                  (not
                        (overlapsSpatially ?OBJ1 ?PART)))))

If obj1 等於 "洞 hole 的表皮", then for all obj2 holds: obj2 (沒) 與 obj1 重�|s if and only if there exists obj3 so that obj3 是 "洞 hole 的主體"的 �~表部分 and hole (沒) 接觸s obj3 and obj2 (沒) 與 obj3 重�|s.

(=>
      (equal
            ?OBJ1
            (SkinFn ?HOLE))
      (forall
            (?OBJ2)
            (<=>
                  (overlapsSpatially ?OBJ2 ?OBJ1)
                  (exists
                        (?OBJ3)
                        (and
                              (superficialPart
                                    ?OBJ3
                                    (PrincipalHostFn ?HOLE))
                              (meetsSpatially ?HOLE ?OBJ3)
                              (overlapsSpatially ?OBJ2 ?OBJ3))))))

If alt 是表面改變的實例 and obj 是 alt 的受事者, then there exist part,property so that part 是 obj的 �~表部分 and property 是 part 的屬性 ""alt 存在的時間" 不久之前"a(之中) "alt 存在的時間" 不久之前 and property 是 part 的屬性 ""alt 存在的時間" 不久之後"a(之中) "alt 存在的時間" 不久之後.

(=>
      (and
            (instance ?ALT SurfaceChange)
            (patient ?ALT ?OBJ))
      (exists
            (?PART ?PROPERTY)
            (and
                  (superficialPart ?PART ?OBJ)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?ALT))
                        (attribute ?PART ?PROPERTY))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?ALT))
                        (not
                              (attribute ?PART ?PROPERTY))))))

If cover 是軀體表面（覆蓋物）的實例, then there exists body so that cover 是 body的 �~表部分 and body 是生物體的實例 or body 是軀體部件的實例.

(=>
      (instance ?COVER BodyCovering)
      (exists
            (?BODY)
            (and
                  (superficialPart ?COVER ?BODY)
                  (or
                        (instance ?BODY Organism)
                        (instance ?BODY BodyPart)))))

if 單色的是 obj 的屬性 and part 是 obj的 �~表部分 and color 是 part 的屬性 and color 是原色的實例,
then for all element holds: if element 是 obj的 �~表部分, then color 是 element 的屬性

(=>
      (and
            (attribute ?OBJ Monochromatic)
            (superficialPart ?PART ?OBJ)
            (attribute ?PART ?COLOR)
            (instance ?COLOR PrimaryColor))
      (forall
            (?ELEMENT)
            (=>
                  (superficialPart ?ELEMENT ?OBJ)
                  (attribute ?ELEMENT ?COLOR))))

If 多彩的是 obj 的屬性, then there exist part1,part2,顏色屬性 color1,顏色屬性 color2 so that part1 是 obj的 �~表部分 and part2 是 obj的 �~表部分 and color1 是 part1 的屬性 and color2 是 part2 的屬性 and color1 等於 color2.

(=>
      (attribute ?OBJ Polychromatic)
      (exists
            (?PART1 ?PART2 ?COLOR1 ?COLOR2)
            (and
                  (superficialPart ?PART1 ?OBJ)
                  (superficialPart ?PART2 ?OBJ)
                  (attribute ?PART1 ?COLOR1)
                  (attribute ?PART2 ?COLOR2)
                  (instance ?COLOR1 ColorAttribute)
                  (instance ?COLOR2 ColorAttribute)
                  (not
                        (equal ?COLOR1 ?COLOR2)))))