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

appearance as argument number 2

(disjoint Island LandlockedArea)	Geography.kif 7454-7454	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 2399-2407	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 2387-2391	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 2457-2461	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 2427-2432	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 2379-2385	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 2417-2425	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 2409-2415	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 2393-2397

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: