LandlockedArea - Sigma Knowledge base Browser

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	Landlocked area is a subclass of land area

appearance as argument number 2

(disjoint Island LandlockedArea)	Geography.kif 5839-5839	Island is disjoint from landlocked area
(termFormat ChineseLanguage LandlockedArea "内陆地区")	domainEnglishFormat.kif 33269-33269	Island is disjoint from landlocked area
(termFormat ChineseTraditionalLanguage LandlockedArea "內陸地區")	domainEnglishFormat.kif 33268-33268	Island is disjoint from landlocked area
(termFormat EnglishLanguage LandlockedArea "landlocked area")	domainEnglishFormat.kif 33267-33267	Island is disjoint from landlocked area

antecedent

(=> (and (instance ?AREA LandlockedArea) (instance ?AREA GeopoliticalArea)) (not (exists (?CLAIM) (and (instance ?CLAIM MaritimeClaimArea) (claimedTerritory ?CLAIM ?AREA)))))	Geography.kif 924-932	If an agent is an instance of landlocked area and the agent is an instance of geopolitical area, then there doesn't exist a geographic area such that the geographic area is an instance of maritime claim area and the agent is a claimed territory of the geographic area
(=> (and (instance ?AREA LandlockedArea) (instance ?UNIT UnitOfLength)) (totalCoastline ?AREA (MeasureFn 0.0 ?UNIT)))	Geography.kif 912-916	If a geographic area is an instance of landlocked area and an unit of measure is an instance of unit of length, then 0.0 the unit of measure(s) is a total coastline of the geographic area
(=> (and (instance ?AREA LandlockedArea) (subclass ?CLAIM MaritimeClaimArea)) (not (maritimeClaimType ?AREA ?CLAIM)))	Geography.kif 983-987	If a geopolitical area is an instance of landlocked area and a kind of maritime claim area is a subclass of maritime claim area, then a kind of maritime claim area is not a maritime claim type of the geopolitical area
(=> (instance ?AREA LandlockedArea) (exists (?LAND) (and (instance ?LAND LandArea) (meetsSpatially ?AREA ?LAND))))	Geography.kif 952-957	If an object is an instance of landlocked area, then there exists another object such that the other object is an instance of land area and the object meets the other object
(=> (instance ?AREA LandlockedArea) (not (exists (?COAST) (and (instance ?COAST Seacoast) (part ?COAST ?AREA)))))	Geography.kif 904-910	If an object is an instance of landlocked area, then there doesn't exist another object such that the other object is an instance of seacoast and the other object is a part of the object
(=> (instance ?AREA LandlockedArea) (not (exists (?WATER ?SEA) (and (instance ?WATER SaltWaterArea) (part ?WATER ?SEA) (instance ?SEA Ocean) (meetsSpatially ?AREA ?WATER)))))	Geography.kif 942-950	If an object is an instance of landlocked area, then there don't exist another object and a third object such that the other object is an instance of salt water area and the other object is a part of the third object and the third object is an instance of ocean and the object meets the other object
(=> (instance ?AREA LandlockedArea) (not (exists (?WATER) (and (instance ?WATER Ocean) (meetsSpatially ?AREA ?WATER)))))	Geography.kif 934-940	If an object is an instance of landlocked area, then there doesn't exist another object such that the other object is an instance of ocean and the object meets the other object

consequent

(=>
    (and
        (instance ?UNIT UnitOfLength)
        (totalCoastline ?AREA
            (MeasureFn 0.0 ?UNIT)))
    (instance ?AREA LandlockedArea))

Geography.kif 918-922

If an unit of measure is an instance of unit of length and 0.0 the unit of measure(s) is a total coastline of a geographic area,
then the geographic area 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

KB Term:			Term intersection

English Word: