Shoreline - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Shoreline EnglishLanguage "Shoreline is the class of LandAreas that are the edge of a larger land mass abutting a bordering WaterArea.")	Geography.kif 7671-7672
(externalImage Shoreline "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ Flussufer.jpg")	pictureList.kif 6855-6855
(externalImage Shoreline "http://upload.wikimedia.org/wikipedia/en/5/5d/ Belize_over_the_water.JPG")	pictureList.kif 7847-7847
(subclass Shoreline LandArea)	Geography.kif 7669-7669	Shoreline is a subclass of land area

appearance as argument number 2

(termFormat ChineseLanguage Shoreline "海岸线")	domainEnglishFormat.kif 52788-52788
(termFormat ChineseTraditionalLanguage Shoreline "海岸線")	domainEnglishFormat.kif 52787-52787
(termFormat EnglishLanguage Shoreline "shoreline")	domainEnglishFormat.kif 52786-52786

antecedent

(=>
    (instance ?LINE Shoreline)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (meetsSpatially ?WATER ?LINE))))

Geography.kif 7674-7679

If an object is an instance of shoreline,
then there exists another object such that the other object is an instance of water area and the other object meets the object

consequent

(=> (and (instance ?SHORE ShoreArea) (instance ?WATER WaterArea) (orientation ?SHORE ?WATER Adjacent)) (exists (?LINE) (and (instance ?LINE Shoreline) (part ?LINE ?SHORE) (meetsSpatially ?LINE ?WATER))))	Geography.kif 7688-7697	If an object is an instance of shore area and another object is an instance of water area and the object is adjacent to the other object, then there exists a third object such that the third object is an instance of shoreline and the third object is a part of the object and the third object meets the other object
(=> (and (instance ?TC TropicalCyclone) (destination ?TC ?DEST) (instance ?DEST GeographicArea)) (not (exists (?L ?SL ?X) (and (instance ?L LandArea) (instance ?SL Shoreline) (located ?DEST ?L) (distance ?L ?SL (MeasureFn ?X Mile)) (greaterThan ?X 200.0)))))	Weather.kif 1134-1147	If a process is an instance of tropical cyclone and the process ends up at a physical and the physical is an instance of geographic area, then there don't exist an object, another physical and a real number such that the object is an instance of land area and the other physical is an instance of shoreline and the physical is located at the object and the distance between the object and the other physical is the real number mile(s) and the real number is greater than 200.0
(=> (instance ?SHORE ShoreArea) (exists (?LINE) (and (instance ?LINE Shoreline) (part ?LINE ?SHORE))))	Geography.kif 7681-7686	If an object is an instance of shore area, then there exists another object such that the other object is an instance of shoreline and the other object is a part of the object
(=> (instance ?SURF SurfZone) (exists (?SL) (and (instance ?SL Shoreline) (orientation ?SURF ?SL Adjacent))))	Weather.kif 2705-2710	If an object is an instance of surf zone, then there exists another object such that the other object is an instance of shoreline and the object is adjacent to the other object

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: