| Island(island)
| | Admiralty_Island, Aegean_island, Aegina, Aigina, Anglesea, Anglesea_Island, Anglesey, Anglesey_Island, Antigua, Antiguan, Aran_Islands, Atlantis, Austronesian, Baffin_Island, Bahrain, Bahrain_Island, Bahrein, Bahrein_Island, Barbuda, Bedloe's_Island, Bioko, Bonaire, Borneo, Bougainville, Cancun, Cape_Breton_Island, Capri, Caribbean_Island, Catalina_Island, Cebu, Celebes, Ceylon, Channel_Island, Chian, Chiloe, Chios, Corsican, Crete, Cuba, Culebra, Curacao, Cyprus, Dhodhekanisos, Dodecanese, Dominica, Ellis_Island, Emerald_Isle, Eniwetok, Erin, Ezo... |
| appearance as argument number 1 |
|
|
| (disjoint Island LandlockedArea) | Geography.kif 7460-7460 | Island is disjoint from landlocked area |
| (subclass Island LandArea) | Merge.kif 14365-14365 | Island is a subclass of land area |
| (documentation Island EnglishLanguage "A LandArea that is completely surrounded by a WaterArea.") | Merge.kif 14366-14367 | Island is a subclass of land area |
| (externalImage Island "http://upload.wikimedia.org/wikipedia/commons/b/bc/ Summit_view.jpg") | pictureList.kif 117-117 | Island is a subclass of land area |
| (externalImage Island "http://articulatesoftware.com/SUMOpictures/geography/ island.png") | pictureList.kif 521-521 | Island is a subclass of land area |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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)) (meetsSpatially ?PART1 ?PART2))))) |
Merge.kif 14369-14381 | If X is an instance of island, then All of the following hold: (1) there don't exist Y, Z (2) W such that Y is an instance of land area (3) Z is a part of X (4) W is a part of Y (5) X is not a part of Y (6) Y is not a part of X (7) Z meets W |
| (=> (and (instance ?ISLE Island) (instance ?AREA GeographicArea) (meetsSpatially ?ISLE ?AREA)) (not (instance ?AREA LandArea))) |
Merge.kif 14383-14389 | If X is an instance of island, Y is an instance of geographic area, and X meets Y, then Y is not an instance of land area |
| (=> (instance ?ISLE Island) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?ISLE ?WATER)))) |
Merge.kif 14391-14396 | If X is an instance of island, then there exists Y such that Y is an instance of water area and X meets Y |
| consequent |
|
|
| (=> (member ?ISLAND VirginIslands) (instance ?ISLAND Island)) |
CountriesAndRegions.kif 1169-1171 | If X is a member of virgin islands, then X is an instance of island |
| (=> (and (instance ?Archipelago Archipelago) (component ?Part ?Archipelago)) (instance ?Part Island)) |
Geography.kif 7466-7470 | If X is an instance of archipelago and Y is a component of X, then Y is an instance of island |
| (=> (instance ?LAND1 LandArea) (exists (?LAND2) (and (part ?LAND1 ?LAND2) (or (instance ?LAND2 Continent) (instance ?LAND2 Island))))) |
Merge.kif 14334-14341 | If X is an instance of land area, then there exists Y such that X is a part of Y and Y is an instance of continent or Y is an instance of island |
| (=> (instance ?IC IslandChain) (memberType ?IC Island)) |
WorldAirports.kif 24408-24410 | If X is an instance of island chain, then island is a member type of X |
|
|
|