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 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 | LandlockedArea ist eine teilkategorie von LandArea |
appearance as argument number 2 |
(disjoint Island LandlockedArea) | Geography.kif 5839-5839 | Island ist dijunkt von LandlockedArea %n{nicht} |
(termFormat ChineseLanguage LandlockedArea "内陆地区") | domainEnglishFormat.kif 33235-33235 | |
(termFormat ChineseTraditionalLanguage LandlockedArea "內陸地區") | domainEnglishFormat.kif 33234-33234 | |
(termFormat EnglishLanguage LandlockedArea "landlocked area") | domainEnglishFormat.kif 33233-33233 |
antecedent |
consequent |
(=> (and (instance ?UNIT UnitOfLength) (totalCoastline ?AREA (MeasureFn 0.0 ?UNIT))) (instance ?AREA LandlockedArea)) |
Geography.kif 918-922 |
|