LaborIssues
|
|
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 900-902 | |
(externalImage LandlockedArea "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ Landlocked_countries.png") | pictureList.kif 8566-8566 | |
(subclass LandlockedArea LandArea) | Geography.kif 898-898 |
appearance as argument number 2 |
(disjoint Island LandlockedArea) | Geography.kif 5839-5839 | |
(termFormat ChineseLanguage LandlockedArea "内陆地区") | domainEnglishFormat.kif 33235-33235 | |
(termFormat ChineseTraditionalLanguage LandlockedArea "內陸地區") | domainEnglishFormat.kif 33234-33234 | |
(termFormat EnglishLanguage LandlockedArea "landlocked area") | domainEnglishFormat.kif 33233-33233 |
antecedent |
(=> (and (instance ?AREA LandlockedArea) (instance ?AREA GeopoliticalArea)) (not (exists (?CLAIM) (and (instance ?CLAIM MaritimeClaimArea) (claimedTerritory ?CLAIM ?AREA))))) |
Geography.kif 924-932 | |
(=> (and (instance ?AREA LandlockedArea) (instance ?UNIT UnitOfLength)) (totalCoastline ?AREA (MeasureFn 0.0 ?UNIT))) |
Geography.kif 912-916 | |
(=> (and (instance ?AREA LandlockedArea) (subclass ?CLAIM MaritimeClaimArea)) (not (maritimeClaimType ?AREA ?CLAIM))) |
Geography.kif 983-987 | |
(=> (instance ?AREA LandlockedArea) (exists (?LAND) (and (instance ?LAND LandArea) (meetsSpatially ?AREA ?LAND)))) |
Geography.kif 952-957 | |
(=> (instance ?AREA LandlockedArea) (not (exists (?COAST) (and (instance ?COAST Seacoast) (part ?COAST ?AREA))))) |
Geography.kif 904-910 | |
(=> (instance ?AREA LandlockedArea) (not (exists (?WATER ?SEA) (and (instance ?WATER SaltWaterArea) (part ?WATER ?SEA) (instance ?SEA Ocean) (meetsSpatially ?AREA ?WATER))))) |
Geography.kif 942-950 | |
(=> (instance ?AREA LandlockedArea) (not (exists (?WATER) (and (instance ?WATER Ocean) (meetsSpatially ?AREA ?WATER))))) |
Geography.kif 934-940 |
consequent |
(=> (and (instance ?UNIT UnitOfLength) (totalCoastline ?AREA (MeasureFn 0.0 ?UNIT))) (instance ?AREA LandlockedArea)) |
Geography.kif 918-922 |