TreeView Knowledge Base Browser - Estuary

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 5081-5083
(externalImage Estuary "http://upload.wikimedia.org/wikipedia/commons/0/ 0b/ Rio_de_la_Plata_BA_2.JPG")	pictureList.kif 2467-2467
(externalImage Estuary "http://upload.wikimedia.org/wikipedia/commons/b/ b2/ Estuary-mouth.jpg")	pictureList.kif 896-896
(subclass Estuary BodyOfWater)	Geography.kif 5077-5077	Estuary is a subclass of body of water
(subclass Estuary Inlet)	Geography.kif 5079-5079	Estuary is a subclass of inlet
(subclass Estuary SaltWaterArea)	Geography.kif 5078-5078	Estuary is a subclass of salt water area

appearance as argument number 2

(termFormat ChineseLanguage Estuary "河口")	domainEnglishFormat.kif 22449-22449
(termFormat ChineseTraditionalLanguage Estuary "河口")	domainEnglishFormat.kif 22448-22448
(termFormat EnglishLanguage Estuary "estuary")	domainEnglishFormat.kif 22447-22447

antecedent

(=> (instance ?WATER Estuary) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (overlapsSpatially ?MOUTH ?WATER))))	Geography.kif 5100-5105	If an entity is an instance of estuary, then there exists an object such that the object is an instance of river mouth and the object and the entity is overlapsSpatially
(=> (instance ?WATER Estuary) (exists (?RIVER) (and (instance ?RIVER River) (flows ?RIVER ?WATER))))	Geography.kif 5093-5098	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 5085-5091	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 5107-5112	If an entity 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 2

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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