![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(disjoint Island LandlockedArea) | Geography.kif 5736-5736 | |
(documentation Island ChineseLanguage "这是一片四面八方环 WaterArea 的 LandArea。") | chinese_format.kif 3345-3345 | |
(documentation Island EnglishLanguage "A LandArea that is completely surrounded by a WaterArea.") | Merge.kif 13960-13961 | |
(externalImage Island "http://upload.wikimedia.org/wikipedia/commons/b/bc/ Summit_view.jpg") | pictureList.kif 117-117 | |
(externalImage Island "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ island.png") | pictureList.kif 521-521 | |
(subclass Island LandArea) | Merge.kif 13959-13959 |
appearance as argument number 2 |
![]() |
(instance BassasDaIndia Island) | CountriesAndRegions.kif 135-135 | |
(instance BouvetIsland Island) | CountriesAndRegions.kif 137-137 | |
(instance Cuba Island) | CountriesAndRegions.kif 439-439 | |
(instance EuropaIsland Island) | CountriesAndRegions.kif 139-139 | |
(instance GloriosoIslands Island) | CountriesAndRegions.kif 141-141 | |
(instance Guam Island) | CountriesAndRegions.kif 4246-4246 | |
(instance HeardIslandAndMcDonaldIslands Island) | CountriesAndRegions.kif 143-143 | |
(instance Iceland Island) | CountriesAndRegions.kif 1257-1257 | |
(instance Japan Island) | CountriesAndRegions.kif 550-550 | |
(instance JuanDeNovaIsland Island) | CountriesAndRegions.kif 145-145 | |
(instance LongIsland Island) | CountriesAndRegions.kif 804-804 | |
(instance Mayotte Island) | CountriesAndRegions.kif 147-147 | |
(instance Rhodes Island) | CountriesAndRegions.kif 1327-1327 | |
(instance TromelinIsland Island) | CountriesAndRegions.kif 149-149 | |
(termFormat ChineseLanguage Island "岛") | chinese_format.kif 957-957 | |
(termFormat EnglishLanguage Island "island") | english_format.kif 1121-1121 |
antecedent |
![]() |
(=> (and (instance ?ISLE Island) (instance ?AREA GeographicArea) (meetsSpatially ?ISLE ?AREA)) (not (instance ?AREA LandArea))) |
Merge.kif 13977-13983 | |
(=> (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 13963-13975 | |
(=> (instance ?ISLE Island) (exists (?WATER) (and (instance ?WATER WaterArea) (meetsSpatially ?ISLE ?WATER)))) |
Merge.kif 13985-13990 |
consequent |
![]() |
(=> (and (instance ?Archipelago Archipelago) (component ?Part ?Archipelago)) (instance ?Part Island)) |
Geography.kif 5742-5746 | |
(=> (instance ?LAND1 LandArea) (exists (?LAND2) (and (part ?LAND1 ?LAND2) (or (instance ?LAND2 Continent) (instance ?LAND2 Island))))) |
Merge.kif 13928-13935 | |
(=> (member ?ISLAND VirginIslands) (instance ?ISLAND Island)) |
CountriesAndRegions.kif 1169-1171 |
![]() |
![]() |