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

Wesen

körperlicher Gegenstand

Gegenstand

Subclass(es)

selbstverbundener Gegenstand Gebiet Ansammlung Agent

Coordinate term(s)

Prozess

Constrains relations

MereologischeDifferenzFn MereologischesProduktFn MereologischeSummeFn HauptwirtFn OberflächeFn attribut zwischen fähigkeit angeschlossen kopie nutztAus stelltGegenüber füllt wohnt instrument grösser befindetSich mass finanzielleWert braucht beachtet lagebestimmung origin teil fülltTeilweise befindetSichTeils besitzt fülltRichtig hilfsmittel resultat kleiner überqürt verwendet wünscht

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)

körperlicher Gegenstand wird vollständig in Gegenstand,Prozess verteilt.

(partition Physical Object Process)

wenn obj ist ein fall von Gegenstand ,
dann es gibt ein Zeitpunkt time1,Zeitpunkt time2 der time1 geschieht vor time2 und für jeden time gilt: wenn time1 geschieht vor oder gleichzeitig mit time und time geschieht vor oder gleichzeitig mit time2 , dann obj besteht während 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))))))

Wenn obj ist ein fall von Gegenstand , dann monochromatic ist ein attribut von obj oder polychromatic ist ein attribut von obj .

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