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

island (Island)

A LandArea that is completely surrounded by a WaterArea.

Ontology

SUMO / OBJECTS

Superclass(es)

[tree]
entity
is subclass of
  physical  
is subclass of
  object  
is subclass of
  region  
is subclass of
  geographic area  
is subclass of
  land area  
is subclass of
  island  

Coordinate term(s)

address  city  continent  nation  state or province 

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 is an instance of land area, then there exists land2 so that land1 is a part of land2 and land2 is an instance of continent or land2 is an instance of island. 
(=>
      (instance ?LAND1 LandArea)
      (exists
            (?LAND2)
            (and
                  (part ?LAND1 ?LAND2)
                  (or
                        (instance ?LAND2 Continent)
                        (instance ?LAND2 Island)))))
If island is an instance of island, then there don't exist land area area,part1,part2 so that part1 is a part of island and part2 is a part of area and island is not a part of area and area is not a part of island and part1 is connected to 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)))))