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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LandlockedArea

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 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 est une sous-classe de zone de terre

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


(disjoint Island LandlockedArea) Geography.kif 5839-5839 �le Est disjoint de LandlockedArea
(termFormat ChineseLanguage LandlockedArea "内陆地区") domainEnglishFormat.kif 33235-33235
(termFormat ChineseTraditionalLanguage LandlockedArea "內陸地區") domainEnglishFormat.kif 33234-33234
(termFormat EnglishLanguage LandlockedArea "landlocked area") domainEnglishFormat.kif 33233-33233

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


(=>
    (and
        (instance ?AREA LandlockedArea)
        (instance ?AREA GeopoliticalArea))
    (not
        (exists (?CLAIM)
            (and
                (instance ?CLAIM MaritimeClaimArea)
                (claimedTerritory ?CLAIM ?AREA)))))
Geography.kif 924-932
(=>
    (and
        (instance ?AREA LandlockedArea)
        (instance ?UNIT UnitOfLength))
    (totalCoastline ?AREA
        (MeasureFn 0.0 ?UNIT)))
Geography.kif 912-916
(=>
    (and
        (instance ?AREA LandlockedArea)
        (subclass ?CLAIM MaritimeClaimArea))
    (not
        (maritimeClaimType ?AREA ?CLAIM)))
Geography.kif 983-987
(=>
    (instance ?AREA LandlockedArea)
    (exists (?LAND)
        (and
            (instance ?LAND LandArea)
            (meetsSpatially ?AREA ?LAND))))
Geography.kif 952-957
(=>
    (instance ?AREA LandlockedArea)
    (not
        (exists (?COAST)
            (and
                (instance ?COAST Seacoast)
                (part ?COAST ?AREA)))))
Geography.kif 904-910
(=>
    (instance ?AREA LandlockedArea)
    (not
        (exists (?WATER ?SEA)
            (and
                (instance ?WATER SaltWaterArea)
                (part ?WATER ?SEA)
                (instance ?SEA Ocean)
                (meetsSpatially ?AREA ?WATER)))))
Geography.kif 942-950
(=>
    (instance ?AREA LandlockedArea)
    (not
        (exists (?WATER)
            (and
                (instance ?WATER Ocean)
                (meetsSpatially ?AREA ?WATER)))))
Geography.kif 934-940

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


(=>
    (and
        (instance ?UNIT UnitOfLength)
        (totalCoastline ?AREA
            (MeasureFn 0.0 ?UNIT)))
    (instance ?AREA LandlockedArea))
Geography.kif 918-922


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 3.0 is open source software produced by Articulate Software and its partners