RiverMouth - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - RiverMouth

RiverMouth(river mouth)

appearance as argument number 1

(documentation RiverMouth EnglishLanguage "RiverMouth is the subclass of WaterAreas that are the outfalls of a river or stream into another body of water.")	Geography.kif 5658-5659
(externalImage RiverMouth "http://upload.wikimedia.org/wikipedia/commons/ 9/ 91/ Klamath_River_mouth_aerial_view.jpg")	pictureList.kif 1498-1498
(subclass RiverMouth StreamWaterArea)	Geography.kif 5656-5656	River mouth is a subclass of stream water area
(subclass RiverMouth WaterArea)	Geography.kif 5655-5655	River mouth is a subclass of water area

appearance as argument number 2

(termFormat ChineseLanguage RiverMouth "河口")	domainEnglishFormat.kif 50154-50154
(termFormat ChineseTraditionalLanguage RiverMouth "河口")	domainEnglishFormat.kif 50153-50153
(termFormat EnglishLanguage RiverMouth "river mouth")	domainEnglishFormat.kif 50152-50152

consequent

(=> (and (instance ?RIVER River) (instance ?WATER BodyOfWater) (flows ?RIVER ?WATER)) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (streamOutfall ?MOUTH ?RIVER) (connected ?MOUTH ?WATER))))	Geography.kif 5661-5670	If a river is an instance of river and an object is an instance of body of water and the object is a flows of the river, then there exists a water area such that the water area is an instance of river mouth and the water area is the outfall of the river and the water area is connected to the object
(=> (instance ?Delta Delta) (exists (?Mouth) (and (instance ?Mouth RiverMouth) (meetsSpatially ?Mouth ?Delta))))	Geography.kif 5782-5787	If an object is an instance of delta, then there exists another object such that the other object is an instance of river mouth and the other object meets the object
(=> (instance ?WATER Estuary) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (overlapsSpatially ?MOUTH ?WATER))))	Geography.kif 5202-5207	If an object is an instance of estuary, then there exists another object such that the other object is an instance of river mouth and the other object and the object overlapsSpatially

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