物體 (Object)

Corresponds roughly to the class of ordinary objects. Examples include normal physical objects, geographical regions, and locations of Processes, the complement of Objects in the Physical class. In a 4D ontology, an Object is something whose spatiotemporal extent is thought of as dividing into spatial parts roughly parallel to the time-axis.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

實體

物質的

物體

Subclass(es)

自身連續物體區域群集施事者

Coordinate term(s)

歷程

Constrains relations

部分整體差異函數部分整體交集函數部分整體加總函數主體函數表皮函數屬性介於能力相連的複製利用面對填充居住工具大於位於測量貨幣價值需要注意到相對方位起源部分部分填充部分位於擁有適當填充資源結果小於橫越使用想要

Related WordNet synsets

substance, matter: that which has mass and occupies space; "an atom is the smallest indivisible unit of matter"
universe, cosmos: the whole collection of existing things
universe, existence, nature, creation, world, cosmos, macrocosm: everything that exists anywhere; "they study the evolution of the universe"; "the biggest tree in existence"
physical, tangible, touchable: having substance or material existence; perceptible to the senses; "a physical manifestation"; "surrounded by tangible objects"
material: derived from or composed of matter; "the material universe"
physical: concerned with material things; "physical properties"; "the physical characteristics of the earth"; "the physical size of a computer"
corporeal, material: having material or physical form or substance; "that which is created is of necessity corporeal and visible and tangible" - Benjamin Jowett

See more related synsets on a separate page.

Axioms (3)

物質的完全分割成物體,歷程.

(partition Physical Object Process)

if obj 是物體的實例,
then there exist 時點 time1,時點 time2 so that time1 (沒) 發生?{s} 在 time2 之前 and for all time holds: if time1 (沒) 發生?{s} 在 time 或之前 and time (沒) 發生?{s} 在 time2 或之前, then obj (不) 存在s time 期間

(=>
      (instance ?OBJ Object)
      (exists
            (?TIME1 ?TIME2)
            (and
                  (instance ?TIME1 TimePoint)
                  (instance ?TIME2 TimePoint)
                  (before ?TIME1 ?TIME2)
                  (forall
                        (?TIME)
                        (=>
                              (and
                                    (beforeOrEqual ?TIME1 ?TIME)
                                    (beforeOrEqual ?TIME ?TIME2))
                              (time ?OBJ ?TIME))))))

If obj 是物體的實例, then 單色的是 obj 的屬性 or 多彩的是 obj 的屬性.

(=>
      (instance ?OBJ Object)
      (or
            (attribute ?OBJ Monochromatic)
            (attribute ?OBJ Polychromatic)))