表面 (surface)

(surface obj1 obj2) means that obj1 is a maximally connected superficialPart of obj2. Note that some SelfConnectedObjects have more than one surface, e.g. a hollow object like a tennis ball has both an inner and an outer surface.

Ontology

SUMO / MEREOTOPOLOGY

Class(es)

不對稱關係

表面

Superrelation(s)

部分位於

位於

部分

外表部分

表面

Coordinate term(s)

反面函數計數函數正面函數主體函數或然率函數表皮函數屬性作者肇因次類肇因公民封閉於填滿包含訊息相交日期發展期形式文字說明持續時間編者元素等同關係於利用以...語言表達填充次數圖部分有意圖有技巧在...期間為真須使...為真有權使...為真洞同一元素直接實例直接次種類串列中在注意範圍中居住非反射於... 方式/情狀測量時段相接成員情態屬性雙親偏序於... 部分填充路徑長穿入擁有先決條件正部分適當填充出版範圍範圍次種類實現反射於... 續接屬性時間部分時間全序於... 三分法使用（結合）價人造物版本

Type restrictions

surface(自身連續物體, 自身連續物體)

Related WordNet synsets

surface: the outer boundary of an object or a material layer constituting or resembling such a boundary; "there is a special cleaner for these surfaces"; "the cloth had a pattern of red dots on a white surface"
surface: the extended two-dimensional outer boundary of a three-dimensional object; "they skimmed over the surface of the water"; "a brush small enough to clean every dental surface"; "the sun has no distinct surface"

See more related synsets on a separate page.

Axioms (2)

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 attribute 是（表面）質地屬性的實例 and attribute 是 obj 的屬性 and surface 是 obj 的表面, then attribute 是 surface 的屬性.

(=>
      (and
            (instance ?ATTRIBUTE TextureAttribute)
            (attribute ?OBJ ?ATTRIBUTE)
            (surface ?SURFACE ?OBJ))
      (attribute ?SURFACE ?ATTRIBUTE))