Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - LandlockedArea
LandlockedArea(landlocked area)
landlocked

appearance as argument number 1
-------------------------


(subclass LandlockedArea LandArea) Geography.kif 2356-2356 Landlocked area is a subclass of land area
(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 2358-2360 Landlocked area is a subclass of land area
(externalImage LandlockedArea "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ Landlocked_countries.png") pictureList.kif 8565-8565 Landlocked area is a subclass of land area

appearance as argument number 2
-------------------------


(disjoint Island LandlockedArea) Geography.kif 7439-7439 Island is disjoint from landlocked area
(termFormat EnglishLanguage LandlockedArea "landlocked area") domainEnglishFormat.kif 33237-33237 Island is disjoint from landlocked area
(termFormat ChineseTraditionalLanguage LandlockedArea "內陸地區") domainEnglishFormat.kif 33238-33238 Island is disjoint from landlocked area
(termFormat ChineseLanguage LandlockedArea "内陆地区") domainEnglishFormat.kif 33239-33239 Island is disjoint from landlocked area

antecedent
-------------------------


(=>
    (instance ?AREA LandlockedArea)
    (not
        (exists (?COAST)
            (and
                (instance ?COAST Seacoast)
                (part ?COAST ?AREA)))))		 Geography.kif 2362-2368 If X is an instance of landlocked area, then there doesn't exist Y such that Y is an instance of seacoast and Y is a part of X
(=>
    (and
        (instance ?AREA LandlockedArea)
        (instance ?UNIT UnitOfLength))
    (totalCoastline ?AREA
        (MeasureFn 0.0 ?UNIT)))		 Geography.kif 2370-2374 If X is an instance of landlocked area and Y is an instance of unit of length, then 0.0 Y(s) is a total coastline of X
(=>
    (and
        (instance ?AREA LandlockedArea)
        (instance ?AREA GeopoliticalArea))
    (not
        (exists (?CLAIM)
            (and
                (instance ?CLAIM MaritimeClaimArea)
                (claimedTerritory ?CLAIM ?AREA)))))		 Geography.kif 2382-2390 If X is an instance of landlocked area and X is an instance of geopolitical area, then there doesn't exist Y such that Y is an instance of maritime claim area and X is a claimed territory of Y
(=>
    (instance ?AREA LandlockedArea)
    (not
        (exists (?WATER)
            (and
                (instance ?WATER Ocean)
                (meetsSpatially ?AREA ?WATER)))))		 Geography.kif 2392-2398 If X is an instance of landlocked area, then there doesn't exist Y such that Y is an instance of ocean and X meets Y
(=>
    (instance ?AREA LandlockedArea)
    (not
        (exists (?WATER ?SEA)
            (and
                (instance ?WATER SaltWaterArea)
                (part ?WATER ?SEA)
                (instance ?SEA Ocean)
                (meetsSpatially ?AREA ?WATER)))))		 Geography.kif 2400-2408 If X is an instance of landlocked area, then there don't exist Y, Z such that Y is an instance of salt water area, Y is a part of Z, Z is an instance of ocean, and X meets Y
(=>
    (instance ?AREA LandlockedArea)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (meetsSpatially ?AREA ?LAND))))		 Geography.kif 2410-2415 If X is an instance of landlocked area, then there exists Y such that Y is an instance of land area and X meets Y
(=>
    (and
        (instance ?AREA LandlockedArea)
        (subclass ?CLAIM MaritimeClaimArea))
    (not
        (maritimeClaimType ?AREA ?CLAIM)))		 Geography.kif 2440-2444 If X is an instance of landlocked area and Y is a subclass of maritime claim area, then Y is not a maritime claim type of X

consequent
-------------------------


(=>
    (and
        (instance ?UNIT UnitOfLength)
        (totalCoastline ?AREA
            (MeasureFn 0.0 ?UNIT)))
    (instance ?AREA LandlockedArea))		 Geography.kif 2376-2380 If X is an instance of unit of length and 0.0 X(s) is a total coastline of Y, then Y is an instance of landlocked area


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners