region (Region)

A topographic location. Regions encompass surfaces of Objects, imaginary places, and GeographicAreas. Note that a Region is the only kind of Object which can be located at itself. Note too that Region is not a subclass of SelfConnectedObject, because some Regions, e.g. archipelagos, have parts which are not connected with one another.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

entity

physical

object

region

Subclass(es)

hole astronomical body geographic area

Coordinate term(s)

agent collection self connected object

Constrains relations

velocity fn where fn partly located path

Related WordNet synsets

region, part: the extended spatial location of something; "the farming regions of France"; "religions in all parts of the world"; "regions of outer space"

See more related synsets on a separate page.

Axioms (2)

If region is an instance of region, then there exists phys so that phys is located at region.

(=>
      (instance ?REGION Region)
      (exists
            (?PHYS)
            (located ?PHYS ?REGION)))

There exists radiating light emit so that region is a patient of emit and region is an instance of region if and only if illuminated is an attribute of region.

(<=>
      (exists
            (?EMIT)
            (and
                  (instance ?EMIT RadiatingLight)
                  (patient ?EMIT ?REGION)
                  (instance ?REGION Region)))
      (attribute ?REGION Illuminated))