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

陸地 (LandArea)

An area which is predominantly solid ground, e.g. a Nation, a mountain, a desert, etc. Note that a LandArea may contain some relatively small WaterAreas. For example, Australia is a LandArea even though it contains various rivers and lakes.

Ontology

SUMO / OBJECTS

Superclass(es)

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

Subclass(es)

大陸  島嶼  國家  州或省  地址  城市 

Coordinate term(s)

地理政治區域  水域 

Related WordNet synsets

land, dry land, earth, ground, solid ground, terra firma
the solid part of the earth's surface; "the plane turned away from the sea and moved back over land"; "the earth shook for several minutes"; "he dropped the logs on the ground"
land is kind of (all)...   land is kind of...   kinds of land...   kinds of land (all)...   land is part of...  
See more related synsets on a separate page.

Axioms (4)

If walk 是 行走 的 實例 and walk 是 agent 的 施事者, then there exists 陸地 area so that agent 位於 area. 
(=>
      (and
            (instance ?WALK Walking)
            (agent ?WALK ?AGENT))
      (exists
            (?AREA)
            (and
                  (instance ?AREA LandArea)
                  (located ?AGENT ?AREA))))
地理區域 完全 分割成 水域,陸地. 
(partition GeographicArea WaterArea LandArea)
If land1 是 陸地 的 實例, then there exists land2 so that land1 是 land2 的 部分) and land2 是 大陸 的 實例 or land2 是 島嶼 的 實例. 
(=>
      (instance ?LAND1 LandArea)
      (exists
            (?LAND2)
            (and
                  (part ?LAND1 ?LAND2)
                  (or
                        (instance ?LAND2 Continent)
                        (instance ?LAND2 Island)))))
If island 是 島嶼 的 實例, then there don't exist 陸地 area,part1,part2 so that part1 是 island 的 部分) and part2 是 area 的 部分) and island 是 area 的 部分) and area 是 island 的 部分) and part1 與 part2 相連. 
(=>
      (instance ?ISLAND Island)
      (not
            (exists
                  (?AREA ?PART1 ?PART2)
                  (and
                        (instance ?AREA LandArea)
                        (part ?PART1 ?ISLAND)
                        (part ?PART2 ?AREA)
                        (not
                              (part ?ISLAND ?AREA))
                        (not
                              (part ?AREA ?ISLAND))
                        (connected ?PART1 ?PART2)))))