TreeView Knowledge Base Browser - waterDepth

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 17568-17569
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17565-17565	O argumento numero 1 de waterDepth e' uma instancia de Area Aquatica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17566-17566	O argumento numero 2 de waterDepth e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17564-17564	waterDepth e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17567-17567	waterDepth e' uma sub-relacao de length

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2619-2619
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2618-2618
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2617-2617
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62391-62391
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62390-62390
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62389-62389

antecedent

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

Mid-level-ontology.kif 17571-17577

waterDepth Objeto auto-conectado and Medida de Comprimento
Objeto auto-conectado Objeto auto-conectado depth Objeto auto-conectado, Objeto auto-conectado and Medida de Comprimento o topo de Objeto auto-conectado e' Objeto auto-conectado o fundo de Objeto auto-conectado e' Objeto auto-conectado

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17584-17599	Processo e' uma instancia de Flooding eventLocated Processo and Objeto Numero Real Numero Real and Entidade Entidade e' uma instancia de UnitOfLength waterDepth Objeto and Numero Real Entidade(s) vale durante o comeco de tempo de existencia de Processo waterDepth Objeto and Numero Real Entidade(s) vale durante o fim de tempo de existencia de Processo Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4958-4976	Intervalo Temporal e' uma instancia de LowTide Intervalo Temporal e' uma instancia de HighTide eventLocated Intervalo Temporal and Objeto eventLocated Intervalo Temporal and Objeto Intervalo Temporal e' uma instancia de Dia Intervalo Temporal engloba Intervalo Temporal Intervalo Temporal engloba Intervalo Temporal Numero Real Numero Real and Entidade Entidade e' uma instancia de UnitOfLength waterDepth Objeto and Numero Real Entidade(s) vale durante Intervalo Temporal waterDepth Objeto and Numero Real Entidade(s) vale durante Intervalo Temporal Numero Real e' maior que Numero Real

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