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

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5183-5185
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2466-2466
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 895-895
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5179-5179	Estuary is a subclass of body of water
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5181-5181	Estuary is a subclass of inlet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5180-5180	Estuary is a subclass of salt water area

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22456-22456
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22455-22455
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22454-22454

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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