| 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 899-901 | |
| (externalImage LandlockedArea "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ Landlocked_countries.png") | pictureList.kif 8569-8569 | |
| (subclass LandlockedArea LandArea) | Geography.kif 897-897 |
| appearance as argument number 2 |
|
|
| (disjoint Island LandlockedArea) | Geography.kif 5515-5515 | |
| (termFormat ChineseLanguage LandlockedArea "内陆地区") | domainEnglishFormat.kif 33133-33133 | |
| (termFormat ChineseTraditionalLanguage LandlockedArea "內陸地區") | domainEnglishFormat.kif 33132-33132 | |
| (termFormat EnglishLanguage LandlockedArea "landlocked area") | domainEnglishFormat.kif 33131-33131 |
| antecedent |
|
|
| (=> (and (instance ?AREA LandlockedArea) (instance ?AREA GeopoliticalArea)) (not (exists (?CLAIM) (and (instance ?CLAIM MaritimeClaimArea) (claimedTerritory ?CLAIM ?AREA))))) |
Geography.kif 923-931 | |
| (=> (and (instance ?AREA LandlockedArea) (instance ?UNIT UnitOfLength)) (totalCoastline ?AREA (MeasureFn 0 ?UNIT))) |
Geography.kif 911-915 | |
| (=> (and (instance ?AREA LandlockedArea) (subclass ?CLAIM MaritimeClaimArea)) (not (maritimeClaimType ?AREA ?CLAIM))) |
Geography.kif 982-986 | |
| (=> (instance ?AREA LandlockedArea) (exists (?LAND) (and (instance ?LAND LandArea) (meetsSpatially ?AREA ?LAND)))) |
Geography.kif 951-956 | |
| (=> (instance ?AREA LandlockedArea) (not (exists (?COAST) (and (instance ?COAST Seacoast) (part ?COAST ?AREA))))) |
Geography.kif 903-909 | |
| (=> (instance ?AREA LandlockedArea) (not (exists (?WATER) (and (instance ?WATER Ocean) (meetsSpatially ?AREA ?WATER))))) |
Geography.kif 933-939 | |
| (=> (instance ?AREA LandlockedArea) (not (exists (?WATER) (and (instance ?WATER SaltWaterArea) (part ?WATER ?SEA) (instance ?SEA Ocean) (meetsSpatially ?AREA ?WATER))))) |
Geography.kif 941-949 |
| consequent |
|
|
| (=> (and (instance ?UNIT UnitOfLength) (totalCoastline ?AREA (MeasureFn 0 ?UNIT))) (instance ?AREA LandlockedArea)) |
Geography.kif 917-921 |
|
|
|