Estuary - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Estuary

Estuary(estuary)

Firth_of_Clyde, Firth_of_Forth, Humber, estuary, firth

appearance as argument number 1

(documentation Estuary EnglishLanguage "Estuary is the subclass of BodyOfWater that represents WaterAreas where a sea or ocean Tide meets a River current.")	Geography.kif 5183-5185
(externalImage Estuary "http://upload.wikimedia.org/wikipedia/commons/0/ 0b/ Rio_de_la_Plata_BA_2.JPG")	pictureList.kif 2466-2466
(externalImage Estuary "http://upload.wikimedia.org/wikipedia/commons/b/ b2/ Estuary-mouth.jpg")	pictureList.kif 895-895
(subclass Estuary BodyOfWater)	Geography.kif 5179-5179	Estuary is a subclass of body of water
(subclass Estuary Inlet)	Geography.kif 5181-5181	Estuary is a subclass of inlet
(subclass Estuary SaltWaterArea)	Geography.kif 5180-5180	Estuary is a subclass of salt water area

appearance as argument number 2

(termFormat ChineseLanguage Estuary "河口")	domainEnglishFormat.kif 22474-22474
(termFormat ChineseTraditionalLanguage Estuary "河口")	domainEnglishFormat.kif 22473-22473
(termFormat EnglishLanguage Estuary "estuary")	domainEnglishFormat.kif 22472-22472

antecedent

(=> (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
(=> (instance ?WATER Estuary) (exists (?RIVER) (and (instance ?RIVER River) (flows ?RIVER ?WATER))))	Geography.kif 5195-5200	If a physical is an instance of estuary, then there exists another physical such that the other physical is an instance of river and the physical is a flows of the other physical
(=> (instance ?WATER Estuary) (exists (?SEA) (and (instance ?SEA SaltWaterArea) (part ?SEA WorldOcean) (connected ?SEA ?WATER))))	Geography.kif 5187-5193	If an object is an instance of estuary, then there exists another object such that the other object is an instance of salt water area and the other object is a part of world ocean and the other object is connected to the object
(=> (instance ?WATER Estuary) (exists (?TIDES) (and (instance ?TIDES TidalProcess) (eventLocated ?TIDES ?WATER))))	Geography.kif 5209-5214	If an object is an instance of estuary, then there exists a process such that the process is an instance of tidal process and the process is located at the 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