Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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 2360-2360 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 2362-2364 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 7460-7460 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 2366-2372 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 2374-2378 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 2386-2394 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 2396-2402 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 2404-2412 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 2414-2419 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 2444-2448 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 2380-2384 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 is open source software produced by Articulate Software and its partners