| LandlockedArea
| |
| appearance as argument number 1 |
|
|
| (documentation LandlockedArea EnglishLanguage "LandlockedArea is the class of LandAreas that lack access to an Ocean or to a Waterway providing a link to the ocean.") | Geography.kif 1032-1034 | |
| (externalImage LandlockedArea "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ Landlocked_countries.png") | pictureList.kif 8565-8565 | |
| (subclass LandlockedArea LandArea) | Geography.kif 1030-1030 |
| appearance as argument number 2 |
|
|
| (disjoint Island LandlockedArea) | Geography.kif 6109-6109 | |
| (termFormat ChineseLanguage LandlockedArea "内陆地区") | domainEnglishFormat.kif 33246-33246 | |
| (termFormat ChineseTraditionalLanguage LandlockedArea "內陸地區") | domainEnglishFormat.kif 33245-33245 | |
| (termFormat EnglishLanguage LandlockedArea "landlocked area") | domainEnglishFormat.kif 33244-33244 |
| antecedent |
|
|
| (=> (and (instance ?AREA LandlockedArea) (instance ?AREA GeopoliticalArea)) (not (exists (?CLAIM) (and (instance ?CLAIM MaritimeClaimArea) (claimedTerritory ?CLAIM ?AREA))))) |
Geography.kif 1056-1064 | |
| (=> (and (instance ?AREA LandlockedArea) (instance ?UNIT UnitOfLength)) (totalCoastline ?AREA (MeasureFn 0.0 ?UNIT))) |
Geography.kif 1044-1048 | |
| (=> (and (instance ?AREA LandlockedArea) (subclass ?CLAIM MaritimeClaimArea)) (not (maritimeClaimType ?AREA ?CLAIM))) |
Geography.kif 1114-1118 | |
| (=> (instance ?AREA LandlockedArea) (exists (?LAND) (and (instance ?LAND LandArea) (meetsSpatially ?AREA ?LAND)))) |
Geography.kif 1084-1089 | |
| (=> (instance ?AREA LandlockedArea) (not (exists (?COAST) (and (instance ?COAST Seacoast) (part ?COAST ?AREA))))) |
Geography.kif 1036-1042 | |
| (=> (instance ?AREA LandlockedArea) (not (exists (?WATER ?SEA) (and (instance ?WATER SaltWaterArea) (part ?WATER ?SEA) (instance ?SEA Ocean) (meetsSpatially ?AREA ?WATER))))) |
Geography.kif 1074-1082 | |
| (=> (instance ?AREA LandlockedArea) (not (exists (?WATER) (and (instance ?WATER Ocean) (meetsSpatially ?AREA ?WATER))))) |
Geography.kif 1066-1072 |
| consequent |
|
|
| (=> (and (instance ?UNIT UnitOfLength) (totalCoastline ?AREA (MeasureFn 0.0 ?UNIT))) (instance ?AREA LandlockedArea)) |
Geography.kif 1050-1054 |
|
|
|