自身連續物體 (SelfConnectedObject)

A SelfConnectedObject is any Object that does not consist of two or more disconnected parts.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

實體

物質的

物體

自身連續物體

Subclass(es)

物質複雜體/非單質體內容載體食物

Coordinate term(s)

施事者群集區域

Constrains relations

反面函數正面函數底部相連高度洞成員側面表面頂端

Related WordNet synsets

body: an individual 3-dimensional object that has mass and that is distinguishable from other objects; "heavenly body"

See more related synsets on a separate page.

Axioms (5)

If obj 是自身連續物體的實例, then "obj 的正面" 是 obj 的部分).

(=>
      (instance ?OBJ SelfConnectedObject)
      (part
            (FrontFn ?OBJ)
            ?OBJ))

If obj 是自身連續物體的實例, then "obj 的反面" 是 obj 的部分).

(=>
      (instance ?OBJ SelfConnectedObject)
      (part
            (BackFn ?OBJ)
            ?OBJ))

群集無交集於自身連續物體.

(disjoint Collection SelfConnectedObject)

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

If obj 是自身連續物體的實例, then 可變形的是 obj 的屬性 or 不易彎曲的是 obj 的屬性.

(=>
      (instance ?OBJ SelfConnectedObject)
      (or
            (attribute ?OBJ Pliable)
            (attribute ?OBJ Rigid)))