TreeView Knowledge Base Browser - depth

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - depth

depth

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2661-2663
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7765-7770
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1380-1383
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7762-7762	depth e' uma instancia de Relacao com Valor Unico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7763-7763	depth e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7761-7761	depth e' uma sub-relacao de distance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3234-3234
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3233-3233
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3232-3232
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19182-19182
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19181-19181
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19180-19180

antecedent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2712-2718	Area Aquatica e' uma instancia de Waterway depth Fisico, Area Aquatica and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfLength Numero Real e' menos que Numero Real navigableForDraft Area Aquatica and Numero Real Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7776-7781	depth Objeto auto-conectado, Fisico and Medida de Comprimento Objeto auto-conectado o fundo de Objeto auto-conectado e' Objeto auto-conectado a distancia entre Objeto auto-conectado e Fisico e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7772-7774	depth Objeto, Objeto and Medida de Comprimento Objeto e' Below em relacao a Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2813-2838	rainfallIntensity Area Geografica, Intervalo Temporal and Funcao de Quantidade Transferencia Colecao, Fisico, Objeto auto-conectado, Entidade, Objeto auto-conectado and TransferenciaFALL Transferencia e' uma instancia de Raining eventLocated Transferencia and Area Geografica tempo de existencia de Transferencia acontece durante Intervalo Temporal Colecao e' uma instancia de Colecao objectTransferred Transferencia and Colecao Fisico e' uma instancia de Agua Fisico e' membro de Colecao Objeto auto-conectado e' uma instancia de Container o fundo de Objeto auto-conectado e' Objeto auto-conectado Flat e' um atributo de Objeto auto-conectado Objeto auto-conectado e' situado em Area Geografica ContainerEmpty e' um atributo de Objeto auto-conectado vale durante o comeco de Intervalo Temporal Colecao e' situado em Objeto auto-conectado o topo de Colecao e' Entidade depth Entidade, Objeto auto-conectado and TransferenciaFALL TransferenciaFALL e' igual a Intervalo Temporal + Funcao de Quantidade vale durante o fim de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3018-3045	snowfallIntensity Area Geografica, Intervalo Temporal and Funcao de Quantidade Transferencia Objeto, Objeto auto-conectado, Entidade, Objeto auto-conectado and Entidade Transferencia e' uma instancia de Snowing eventLocated Transferencia and Area Geografica tempo de existencia de Transferencia acontece durante Intervalo Temporal Objeto e' uma instancia de Snow objectTransferred Transferencia and Objeto Objeto auto-conectado e' uma instancia de BoardOrBlock o fundo de Objeto auto-conectado e' Objeto auto-conectado Flat e' um atributo de Objeto auto-conectado Objeto auto-conectado e' situado em Area Geografica Entidade Entidade e' uma instancia de Objeto Entidade e' situado em Objeto auto-conectado vale durante o comeco de Intervalo Temporal Objeto e' situado em Objeto auto-conectado o topo de Objeto e' Entidade depth Entidade, Objeto auto-conectado and Entidade Entidade e' igual a Intervalo Temporal + Funcao de Quantidade vale durante o fim de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17599-17605	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

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