| Island(�le)
| |
| appearance as argument number 1 |
|
|
| (disjoint Island LandlockedArea) | Geography.kif 5972-5972 | �le Est disjoint de LandlockedArea |
| (documentation Island ChineseLanguage "这是一片四面八方环 WaterArea 的 LandArea。") | chinese_format.kif 3345-3345 | �le Est disjoint de LandlockedArea |
| (documentation Island EnglishLanguage "A LandArea that is completely surrounded by a WaterArea.") | Merge.kif 14329-14330 | �le Est disjoint de LandlockedArea |
| (externalImage Island "http://articulatesoftware.com/SUMOpictures/geography/ island.png") | pictureList.kif 521-521 | �le Est disjoint de LandlockedArea |
| (externalImage Island "http://upload.wikimedia.org/wikipedia/commons/b/bc/ Summit_view.jpg") | pictureList.kif 117-117 | �le Est disjoint de LandlockedArea |
| (subclass Island LandArea) | Merge.kif 14328-14328 | �le Est une sous-classe de zone de terre |
| appearance as argument number 2 |
|
|
| (instance BassasDaIndia Island) | CountriesAndRegions.kif 135-135 | BassasDaIndia est une instance de �le |
| (instance BouvetIsland Island) | CountriesAndRegions.kif 137-137 | BouvetIsland est une instance de �le |
| (instance Cuba Island) | CountriesAndRegions.kif 439-439 | Cuba est une instance de �le |
| (instance EuropaIsland Island) | CountriesAndRegions.kif 139-139 | EuropaIsland est une instance de �le |
| (instance GloriosoIslands Island) | CountriesAndRegions.kif 141-141 | GloriosoIslands est une instance de �le |
| (instance Guam Island) | CountriesAndRegions.kif 4246-4246 | Guam est une instance de �le |
| (instance HeardIslandAndMcDonaldIslands Island) | CountriesAndRegions.kif 143-143 | HeardIslandAndMcDonaldIslands est une instance de �le |
| (instance Iceland Island) | CountriesAndRegions.kif 1257-1257 | Iceland est une instance de �le |
| (instance Japan Island) | CountriesAndRegions.kif 550-550 | Japan est une instance de �le |
| (instance JuanDeNovaIsland Island) | CountriesAndRegions.kif 145-145 | JuanDeNovaIsland est une instance de �le |
| (instance LongIsland Island) | CountriesAndRegions.kif 804-804 | LongIsland est une instance de �le |
| (instance Mayotte Island) | CountriesAndRegions.kif 147-147 | Mayotte est une instance de �le |
| (instance Rhodes Island) | CountriesAndRegions.kif 1327-1327 | Rhodes est une instance de �le |
| (instance TromelinIsland Island) | CountriesAndRegions.kif 149-149 | TromelinIsland est une instance de �le |
| (termFormat ChineseLanguage Island "岛") | chinese_format.kif 957-957 | TromelinIsland est une instance de �le |
| (termFormat EnglishLanguage Island "island") | english_format.kif 1121-1121 | TromelinIsland est une instance de �le |
| (termFormat FrenchLanguage Island "�le") | french_format.kif 633-633 | TromelinIsland est une instance de �le |
| (termFormat Hindi Island "dvIpa") | terms-hindi.txt 164-164 | TromelinIsland est une instance de �le |
| (termFormat ItalianLanguage Island "Isola") | terms-it.txt 167-167 | TromelinIsland est une instance de �le |
| (termFormat JapaneseLanguage Island "島") | japanese_format.kif 2318-2318 | TromelinIsland est une instance de �le |
| (termFormat PortugueseLanguage Island "Ilha") | portuguese_format.kif 585-585 | TromelinIsland est une instance de �le |
| (termFormat cb Island "pulo isla") | terms-cb.txt 169-169 | TromelinIsland est une instance de �le |
| (termFormat cz Island "island") | terms-cz.txt 201-201 | TromelinIsland est une instance de �le |
| (termFormat de Island "Insel") | terms-de.txt 460-460 | TromelinIsland est une instance de �le |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| (=> (and (instance ?ISLE Island) (instance ?AREA GeographicArea) (meetsSpatially ?ISLE ?AREA)) (not (instance ?AREA LandArea))) |
Merge.kif 14346-14352 | |
| (=> (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 14332-14344 | |
| (=> (instance ?ISLE Island) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?ISLE ?WATER)))) |
Merge.kif 14354-14359 |
| consequent |
|
|
| (=> (and (instance ?Archipelago Archipelago) (component ?Part ?Archipelago)) (instance ?Part Island)) |
Geography.kif 5978-5982 |
|
| (=> (instance ?LAND1 LandArea) (exists (?LAND2) (and (part ?LAND1 ?LAND2) (or (instance ?LAND2 Continent) (instance ?LAND2 Island))))) |
Merge.kif 14297-14304 | |
| (=> (member ?ISLAND VirginIslands) (instance ?ISLAND Island)) |
CountriesAndRegions.kif 1169-1171 |
|
|
|