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

Ontologie

SUMO / BASE-ONTOLOGY

Nadtřída(y)

entita

fyzický objekt

objekt

oblast

Podtřída(y)

díra astronomický objekt geografická oblast

Související termín(y)

původce kolekce spojitý objekt

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.

Axiomy (2)

Jestliže region je instancí třídy oblast, potom existuje phys tak, že phys je located at region.

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

Existuje vyzařování světla emit tak, že region je účastníkem emit a region je instancí třídy oblast tehdy a jen tehdy pokud illuminated je atributem region.

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