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 5728-5729
(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 5726-5726	River mouth is a subclass of stream water area
(subclass RiverMouth WaterArea)	Geography.kif 5725-5725	River mouth is a subclass of water area

appearance as argument number 2

(termFormat ChineseLanguage RiverMouth "河口")	domainEnglishFormat.kif 50147-50147
(termFormat ChineseTraditionalLanguage RiverMouth "河口")	domainEnglishFormat.kif 50146-50146
(termFormat EnglishLanguage RiverMouth "river mouth")	domainEnglishFormat.kif 50145-50145

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 5731-5740	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 5852-5857	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 5272-5277	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