島嶼 (Island)
A LandArea that is completely surrounded by a WaterArea.
Ontology
SUMO / OBJECTSSuperclass(es)
Coordinate term(s)
地址
城市
大陸
國家
州或省
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.
Axioms (2)
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)))))