waterDepth - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - waterDepth

waterDepth

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19137-19138
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19134-19134	The number 1 argument of water depth is an instance of water area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19135-19135	The number 2 argument of water depth is an instance of length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19133-19133	water depth is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19136-19136	water depth is a subrelation of length

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2615-2615
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2614-2614
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2613-2613
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62414-62414
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62413-62413
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62412-62412

antecedent

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

Mid-level-ontology.kif 19140-19146

If a length measure is a water depth of a self connected object,
then there exist another self connected object and a third self connected object such that the depth from the third self connected object to the other self connected object is the length measure and the top of the self connected object is the third self connected object and the bottom of the self connected object is the other self connected object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19153-19168	If a process is an instance of flooding and the process is located at an object, 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 beginning of the time of existence of the process and the other real number the entity(s) is a water depth of the object holds during the end of the time of existence of the process and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5028-5046	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 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