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 5252-5254
(externalImage Estuary "http://upload.wikimedia.org/wikipedia/commons/0/ 0b/ Rio_de_la_Plata_BA_2.JPG")	pictureList.kif 2465-2465
(externalImage Estuary "http://upload.wikimedia.org/wikipedia/commons/b/ b2/ Estuary_mouth.jpg")	pictureList.kif 895-895
(subclass Estuary BodyOfWater)	Geography.kif 5248-5248	Estuary is a subclass of body of water
(subclass Estuary Inlet)	Geography.kif 5250-5250	Estuary is a subclass of inlet
(subclass Estuary SaltWaterArea)	Geography.kif 5249-5249	Estuary is a subclass of salt water area

appearance as argument number 2

(termFormat ChineseLanguage Estuary "河口")	domainEnglishFormat.kif 22468-22468
(termFormat ChineseTraditionalLanguage Estuary "河口")	domainEnglishFormat.kif 22467-22467
(termFormat EnglishLanguage Estuary "estuary")	domainEnglishFormat.kif 22466-22466

antecedent

(=> (instance ?WATER Estuary) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (overlapsSpatially ?MOUTH ?WATER))))	Geography.kif 5271-5276	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 5264-5269	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 5256-5262	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 5278-5283	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