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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LandlockedArea

Sigma KEE - LandlockedArea
LandlockedArea(landlocked area)
landlocked, landlocked_area

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 886-888
(externalImage LandlockedArea "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ Landlocked_countries.png") pictureList.kif 8569-8569 "http://upload.wikimedia.org/wikipedia/commons/4/48/ Landlocked_countries.png" is a URL depicting landlocked area
(subclass LandlockedArea LandArea) Geography.kif 884-884 Landlocked area is a subclass of land area

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


(disjoint Island LandlockedArea) Geography.kif 5500-5500 Island is disjoint from landlocked area
(termFormat EnglishLanguage LandlockedArea "landlocked area") domainEnglishFormat.kif 5957-5957 "landlocked area" is the printable form of landlocked area in english language

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


(=>
    (and
        (instance ?AREA LandlockedArea)
        (instance ?AREA GeopoliticalArea))
    (not
        (exists (?CLAIM)
            (and
                (instance ?CLAIM MaritimeClaimArea)
                (claimedTerritory ?CLAIM ?AREA)))))
Geography.kif 910-918
(=>
    (and
        (instance ?AREA LandlockedArea)
        (instance ?UNIT UnitOfLength))
    (totalCoastline ?AREA
        (MeasureFn 0 ?UNIT)))
Geography.kif 898-902
(=>
    (and
        (instance ?AREA LandlockedArea)
        (subclass ?CLAIM MaritimeClaimArea))
    (not
        (maritimeClaimType ?AREA ?CLAIM)))
Geography.kif 969-973
(=>
    (instance ?AREA LandlockedArea)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (meetsSpatially ?AREA ?LAND))))
Geography.kif 938-943
(=>
    (instance ?AREA LandlockedArea)
    (not
        (exists (?COAST)
            (and
                (instance ?COAST Seacoast)
                (part ?COAST ?AREA)))))
Geography.kif 890-896
(=>
    (instance ?AREA LandlockedArea)
    (not
        (exists (?WATER)
            (and
                (instance ?WATER Ocean)
                (meetsSpatially ?AREA ?WATER)))))
Geography.kif 920-926
(=>
    (instance ?AREA LandlockedArea)
    (not
        (exists (?WATER)
            (and
                (instance ?WATER SaltWaterArea)
                (part ?WATER ?SEA)
                (instance ?SEA Ocean)
                (meetsSpatially ?AREA ?WATER)))))
Geography.kif 928-936

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


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


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

Show without tree


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