ostrov (Island)

A LandArea that is completely surrounded by a WaterArea.

Ontologie

SUMO / OBJECTS

Nadtřída(y)

entita

fyzický objekt

objekt

oblast

geografická oblast

souš

ostrov

Související termín(y)

adresa město kontinent národ stát nebo provincie

Related WordNet synsets

island: a land mass (smaller than a continent) that is surrounded by water
insular: relating to or characteristic of or situated on an island; "insular territories"; "Hawaii's insular culture"

See more related synsets on a separate page.

Axiomy (2)

Jestliže land1 je instancí třídy souš, potom existuje land2 tak, že land1 je částí land2 a land2 je instancí třídy kontinent nebo land2 je instancí třídy ostrov.

(=>
      (instance ?LAND1 LandArea)
      (exists
            (?LAND2)
            (and
                  (part ?LAND1 ?LAND2)
                  (or
                        (instance ?LAND2 Continent)
                        (instance ?LAND2 Island)))))

Jestliže island je instancí třídy ostrov, potom neexistují souš area,part1,part2 tak, že part1 je částí island a part2 je částí area a island není částí area a area není částí island a part1 je spojen s 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)))))