TreeView Knowledge Base Browser - HighTide

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - HighTide

HighTide(high tide)

more pictures...

direct_tide, high_tide, high_water, highwater

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4991-4993
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7063-7063
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6611-6611
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7064-7064
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7065-7065
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7066-7066
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7069-7069
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7059-7059
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7060-7060
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7061-7061
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7062-7062
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4989-4989	High tide is a subclass of tidal process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4995-4995	Higher high tide is a subclass of high tide
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28167-28167
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28166-28166
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28165-28165

antecedent

No TPTP formula. May not be expressible in strict first order.

Geography.kif 4958-4976

If a time interval is an instance of low tide and another time interval is an instance of high tide and the time interval is located at an object and the other time interval is located at the object and a third time interval is an instance of day and the third time interval overlaps the time interval and the third time interval overlaps the other time interval,
then there exist a real number, another real number and an entity such that the entity is an instance of unit of length and the real number the entity(s) is a water depth of the object holds during the time interval and the other real number the entity(s) is a water depth of the object holds during the other time interval and the other real number is greater than the real number

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