Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LandlockedArea
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 899-901
(externalImage LandlockedArea "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ Landlocked_countries.png") pictureList.kif 8569-8569
(subclass LandlockedArea LandArea) Geography.kif 897-897

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


(disjoint Island LandlockedArea) Geography.kif 5515-5515
(termFormat ChineseLanguage LandlockedArea "内陆地区") domainEnglishFormat.kif 33133-33133
(termFormat ChineseTraditionalLanguage LandlockedArea "內陸地區") domainEnglishFormat.kif 33132-33132
(termFormat EnglishLanguage LandlockedArea "landlocked area") domainEnglishFormat.kif 33131-33131

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


(=>
    (and
        (instance ?AREA LandlockedArea)
        (instance ?AREA GeopoliticalArea))
    (not
        (exists (?CLAIM)
            (and
                (instance ?CLAIM MaritimeClaimArea)
                (claimedTerritory ?CLAIM ?AREA)))))
Geography.kif 923-931
(=>
    (and
        (instance ?AREA LandlockedArea)
        (instance ?UNIT UnitOfLength))
    (totalCoastline ?AREA
        (MeasureFn 0 ?UNIT)))
Geography.kif 911-915
(=>
    (and
        (instance ?AREA LandlockedArea)
        (subclass ?CLAIM MaritimeClaimArea))
    (not
        (maritimeClaimType ?AREA ?CLAIM)))
Geography.kif 982-986
(=>
    (instance ?AREA LandlockedArea)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (meetsSpatially ?AREA ?LAND))))
Geography.kif 951-956
(=>
    (instance ?AREA LandlockedArea)
    (not
        (exists (?COAST)
            (and
                (instance ?COAST Seacoast)
                (part ?COAST ?AREA)))))
Geography.kif 903-909
(=>
    (instance ?AREA LandlockedArea)
    (not
        (exists (?WATER)
            (and
                (instance ?WATER Ocean)
                (meetsSpatially ?AREA ?WATER)))))
Geography.kif 933-939
(=>
    (instance ?AREA LandlockedArea)
    (not
        (exists (?WATER)
            (and
                (instance ?WATER SaltWaterArea)
                (part ?WATER ?SEA)
                (instance ?SEA Ocean)
                (meetsSpatially ?AREA ?WATER)))))
Geography.kif 941-949

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


(=>
    (and
        (instance ?UNIT UnitOfLength)
        (totalCoastline ?AREA
            (MeasureFn 0 ?UNIT)))
    (instance ?AREA LandlockedArea))
Geography.kif 917-921


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners