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 895-897
(externalImage LandlockedArea "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ Landlocked_countries.png")	pictureList.kif 8565-8565
(subclass LandlockedArea LandArea)	Geography.kif 893-893	Landlocked area is a subclass of land area

appearance as argument number 2

(disjoint Island LandlockedArea)	Geography.kif 5908-5908	Island is disjoint from landlocked area
(termFormat ChineseLanguage LandlockedArea "内陆地区")	domainEnglishFormat.kif 33263-33263	Island is disjoint from landlocked area
(termFormat ChineseTraditionalLanguage LandlockedArea "內陸地區")	domainEnglishFormat.kif 33262-33262	Island is disjoint from landlocked area
(termFormat EnglishLanguage LandlockedArea "landlocked area")	domainEnglishFormat.kif 33261-33261	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 919-927	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 907-911	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 977-981	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 947-952	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 899-905	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 937-945	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 929-935	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 913-917

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: