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

qu1 yu4 (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]
shi2 ti3
is subclass of
  wu4 zhi4 de5  
is subclass of
  wu4 ti1  
is subclass of
  qu1 yu4  

Subclass(es)

dong4  tian1 ti1  di4 li3 qu1 yu4 

Coordinate term(s)

shi1 shi4 zhe3  qun2 ji2  zi4 shen1 lian2 xu4 wu4 ti1 

Constrains relations

su4 lv4 han2 shu4  wei4 zhi4 han2 shu4  bu4 fen5 wei4 yu1  lu4 jing4 

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 shi4 qu1 yu4 de5 shi2 li4, then there exists phys so_that_not phys wei4 yu1 region. 
(=>
      (instance ?REGION Region)
      (exists
            (?PHYS)
            (located ?PHYS ?REGION)))
There exists guang1 xian4 emit so_that_not region shi4 emit de5 shou4 shi4 zhe3 and region shi4 qu1 yu4 de5 shi2 li4 if and only if bei4 guang1 zhao4 de5 shi4 region de5 shu3 xing4. 
(<=>
      (exists
            (?EMIT)
            (and
                  (instance ?EMIT RadiatingLight)
                  (patient ?EMIT ?REGION)
                  (instance ?REGION Region)))
      (attribute ?REGION Illuminated))