TreeView Knowledge Base Browser - TidalProcess

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - TidalProcess

TidalProcess(tidal process)

ebb, flood, flood_tide, lee_tide, leeward_tide, neap, neap_tide, reflux, rising_tide, slack_tide, slack_water, springtide, tide

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4954-4956
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3236-3236
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4952-4952	Tidal process is a subclass of internal change

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4989-4989	High tide is a subclass of tidal process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4978-4978	Low tide is a subclass of tidal process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5001-5001	Mixed tide process is a subclass of tidal process
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58052-58052
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58051-58051
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58050-58050

consequent

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 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