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 5839-5839 | Island is disjoint from landlocked area |
(documentation Island ChineseLanguage "这是一片四面八方环 WaterArea 的 LandArea。") | chinese_format.kif 3345-3345 | |
(documentation Island EnglishLanguage "A LandArea that is completely surrounded by a WaterArea.") | Merge.kif 14237-14238 | |
(externalImage Island "http://articulatesoftware.com/SUMOpictures/geography/ island.png") | pictureList.kif 521-521 | |
(externalImage Island "http://upload.wikimedia.org/wikipedia/commons/b/bc/ Summit_view.jpg") | pictureList.kif 117-117 | |
(subclass Island LandArea) | Merge.kif 14236-14236 | Island is a subclass of land area |
appearance as argument number 2 |
(instance BassasDaIndia Island) | CountriesAndRegions.kif 135-135 | Bassas da india is an instance of island |
(instance BouvetIsland Island) | CountriesAndRegions.kif 137-137 | Bouvet island is an instance of island |
(instance Cuba Island) | CountriesAndRegions.kif 439-439 | Cuba is an instance of island |
(instance EuropaIsland Island) | CountriesAndRegions.kif 139-139 | Europa island is an instance of island |
(instance GloriosoIslands Island) | CountriesAndRegions.kif 141-141 | Glorioso islands is an instance of island |
(instance Guam Island) | CountriesAndRegions.kif 4246-4246 | Guam is an instance of island |
(instance HeardIslandAndMcDonaldIslands Island) | CountriesAndRegions.kif 143-143 | Heard island and mc donald islands is an instance of island |
(instance Iceland Island) | CountriesAndRegions.kif 1257-1257 | Iceland is an instance of island |
(instance Japan Island) | CountriesAndRegions.kif 550-550 | Japan is an instance of island |
(instance JuanDeNovaIsland Island) | CountriesAndRegions.kif 145-145 | Juan de nova island is an instance of island |
(instance LongIsland Island) | CountriesAndRegions.kif 804-804 | Long island is an instance of island |
(instance Mayotte Island) | CountriesAndRegions.kif 147-147 | Mayotte is an instance of island |
(instance Rhodes Island) | CountriesAndRegions.kif 1327-1327 | Rhodes is an instance of island |
(instance TromelinIsland Island) | CountriesAndRegions.kif 149-149 | Tromelin island is an instance of island |
(termFormat ChineseLanguage Island "岛") | chinese_format.kif 957-957 | |
(termFormat EnglishLanguage Island "island") | english_format.kif 1121-1121 | |
(termFormat FrenchLanguage Island "�le") | french_format.kif 633-633 | |
(termFormat Hindi Island "dvIpa") | terms-hindi.txt 164-164 | |
(termFormat ItalianLanguage Island "Isola") | terms-it.txt 167-167 | |
(termFormat JapaneseLanguage Island "島") | japanese_format.kif 2318-2318 | |
(termFormat PortugueseLanguage Island "Ilha") | portuguese_format.kif 585-585 | |
(termFormat cb Island "pulo isla") | terms-cb.txt 169-169 | |
(termFormat cz Island "island") | terms-cz.txt 201-201 | |
(termFormat ro Island "insulã") | relations-ro.kif 654-654 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
consequent |
(=> (and (instance ?Archipelago Archipelago) (component ?Part ?Archipelago)) (instance ?Part Island)) |
Geography.kif 5845-5849 |
|
(=> (instance ?LAND1 LandArea) (exists (?LAND2) (and (part ?LAND1 ?LAND2) (or (instance ?LAND2 Continent) (instance ?LAND2 Island))))) |
Merge.kif 14205-14212 |
|
(=> (member ?ISLAND VirginIslands) (instance ?ISLAND Island)) |
CountriesAndRegions.kif 1169-1171 |
|