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

dao3 yu3 (Island)

A LandArea that is completely surrounded by a WaterArea.

Ontology

SUMO / OBJECTS

Superclass(es)

[tree]
shi2 ti3
is subclass of
  wu4 zhi4 de5  
is subclass of
  wu4 ti1  
is subclass of
  qu1 yu4  
is subclass of
  di4 li3 qu1 yu4  
is subclass of
  lu4 di4  
is subclass of
  dao3 yu3  

Coordinate term(s)

di4 zhi3  cheng2 shi4  da4 lu4  guo2 jia1  zhou1 huo4 sheng3 

Related WordNet synsets

island
a land mass (smaller than a continent) that is surrounded by water
island is kind of (all)...   island is kind of...   kinds of island...   kinds of island (all)...   island is member of...  
insular
relating to or characteristic of or situated on an island; "insular territories"; "Hawaii's insular culture"
insular pertains to noun...  
See more related synsets on a separate page.

Axioms (2)

If land1 shi4 lu4 di4 de5 shi2 li4, then there exists land2 so_that_not land1 shi4 land2 de5 bu4 fen5) and land2 shi4 da4 lu4 de5 shi2 li4 or land2 shi4 dao3 yu3 de5 shi2 li4. 
(=>
      (instance ?LAND1 LandArea)
      (exists
            (?LAND2)
            (and
                  (part ?LAND1 ?LAND2)
                  (or
                        (instance ?LAND2 Continent)
                        (instance ?LAND2 Island)))))
If island shi4 dao3 yu3 de5 shi2 li4, then there don't exist lu4 di4 area,part1,part2 so_that_not part1 shi4 island de5 bu4 fen5) and part2 shi4 area de5 bu4 fen5) and island shi4 area de5 bu4 fen5) and area shi4 island de5 bu4 fen5) and part1 yu3 part2 xiang1 lian2. 
(=>
      (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)))))