Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

區域 (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)

[tree]
實體
is subclass of
  物質的  
is subclass of
  物體  
is subclass of
  區域  

Subclass(es)

洞  天體  地理區域 

Coordinate term(s)

施事者  群集  自身連續物體 

Constrains relations

速率函數  位置函數  部分位於  路徑 

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"
region is kind of (all)...   region is kind of...   kinds of region...   kinds of region (all)...  
See more related synsets on a separate page.

Axioms (2)

If region 是 區域 的 實例, then there exists phys so that phys 位於 region. 
(=>
      (instance ?REGION Region)
      (exists
            (?PHYS)
            (located ?PHYS ?REGION)))
There exists 光線 emit so that region 是 emit 的 受事者 and region 是 區域 的 實例 if and only if 被光照的 是 region 的 屬性. 
(<=>
      (exists
            (?EMIT)
            (and
                  (instance ?EMIT RadiatingLight)
                  (patient ?EMIT ?REGION)
                  (instance ?REGION Region)))
      (attribute ?REGION Illuminated))