object (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-ONTOLOGYSuperclass(es)
Subclass(es)
aatmasambaddha vastu
kshetra
sangraha
kartaa
Coordinate term(s)
prakriyaa
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.
Axioms (3)
bhOtika vaswu is exhaustively partitioned into object,prakriyaa.
(partition Physical Object Process)
(=>
(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))))))
Agar obj is an instance of object, to monochromatic is an attribute of obj yaa polychromatic is an attribute of obj.
(=>
(instance ?OBJ Object)
(or
(attribute ?OBJ Monochromatic)
(attribute ?OBJ Polychromatic)))