objekt (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.

Ontologie

SUMO / BASE-ONTOLOGY

Nadtřída(y)

entita

fyzický objekt

objekt

Podtřída(y)

spojitý objekt oblast kolekce původce

Související termín(y)

proces

Constrains relations

mereological difference fn mereological product fn mereological sum fn principal host fn skin fn attribute between capability connected copy exploits faces fills inhabits instrument larger located measure monetary value needs notices orientation origin part partially fills partly located possesses properly fills resource result smaller traverses uses wants

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.

Axiomy (3)

fyzický objekt je exhaustively partitioned into objekt,proces.

(partition Physical Object Process)

jestliže obj je instancí třídy objekt,
potom existují okamžik time1,okamžik time2 tak, že time1 happens before time2 a pro všechny time platí: jestliže time1 happen?{s} before or at time a time happen?{s} before or at time2, potom obj exists during 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))))))

Jestliže obj je instancí třídy objekt, potom monochromatic je atributem obj nebo polychromatic je atributem obj.

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