| 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 895-897 | |
| (externalImage LandlockedArea "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ Landlocked_countries.png") | pictureList.kif 8565-8565 | |
| (subclass LandlockedArea LandArea) | Geography.kif 893-893 |
| appearance as argument number 2 |
|
|
| (disjoint Island LandlockedArea) | Geography.kif 5908-5908 | |
| (termFormat ChineseLanguage LandlockedArea "内陆地区") | domainEnglishFormat.kif 33263-33263 | |
| (termFormat ChineseTraditionalLanguage LandlockedArea "內陸地區") | domainEnglishFormat.kif 33262-33262 | |
| (termFormat EnglishLanguage LandlockedArea "landlocked area") | domainEnglishFormat.kif 33261-33261 |
| antecedent |
|
|
| (=> (and (instance ?AREA LandlockedArea) (instance ?AREA GeopoliticalArea)) (not (exists (?CLAIM) (and (instance ?CLAIM MaritimeClaimArea) (claimedTerritory ?CLAIM ?AREA))))) |
Geography.kif 919-927 | |
| (=> (and (instance ?AREA LandlockedArea) (instance ?UNIT UnitOfLength)) (totalCoastline ?AREA (MeasureFn 0.0 ?UNIT))) |
Geography.kif 907-911 | |
| (=> (and (instance ?AREA LandlockedArea) (subclass ?CLAIM MaritimeClaimArea)) (not (maritimeClaimType ?AREA ?CLAIM))) |
Geography.kif 977-981 | |
| (=> (instance ?AREA LandlockedArea) (exists (?LAND) (and (instance ?LAND LandArea) (meetsSpatially ?AREA ?LAND)))) |
Geography.kif 947-952 | |
| (=> (instance ?AREA LandlockedArea) (not (exists (?COAST) (and (instance ?COAST Seacoast) (part ?COAST ?AREA))))) |
Geography.kif 899-905 | |
| (=> (instance ?AREA LandlockedArea) (not (exists (?WATER ?SEA) (and (instance ?WATER SaltWaterArea) (part ?WATER ?SEA) (instance ?SEA Ocean) (meetsSpatially ?AREA ?WATER))))) |
Geography.kif 937-945 | |
| (=> (instance ?AREA LandlockedArea) (not (exists (?WATER) (and (instance ?WATER Ocean) (meetsSpatially ?AREA ?WATER))))) |
Geography.kif 929-935 |
| consequent |
|
|
| (=> (and (instance ?UNIT UnitOfLength) (totalCoastline ?AREA (MeasureFn 0.0 ?UNIT))) (instance ?AREA LandlockedArea)) |
Geography.kif 913-917 |
|
|
|