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

appearance as argument number 2

(disjoint Island LandlockedArea)	Geography.kif 7375-7375	Island is disjoint from landlocked area
(termFormat ChineseLanguage LandlockedArea "内陆地区")	domainEnglishFormat.kif 33245-33245	Island is disjoint from landlocked area
(termFormat ChineseTraditionalLanguage LandlockedArea "內陸地區")	domainEnglishFormat.kif 33244-33244	Island is disjoint from landlocked area
(termFormat EnglishLanguage LandlockedArea "landlocked area")	domainEnglishFormat.kif 33243-33243	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 2323-2331	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 2311-2315	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 2381-2385	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 2351-2356	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 2303-2309	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 2341-2349	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 2333-2339	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 2317-2321

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: