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 5961-5962
(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 5959-5959	River mouth is a subclass of stream water area
(subclass RiverMouth WaterArea)	Geography.kif 5958-5958	River mouth is a subclass of water area

appearance as argument number 2

(termFormat ChineseLanguage RiverMouth "河口")	domainEnglishFormat.kif 50118-50118
(termFormat ChineseTraditionalLanguage RiverMouth "河口")	domainEnglishFormat.kif 50117-50117
(termFormat EnglishLanguage RiverMouth "river mouth")	domainEnglishFormat.kif 50116-50116

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 5964-5973	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 6085-6090	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 5493-5498	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