oppositeDirection - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - oppositeDirection

oppositeDirection

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18128-18130
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18125-18125	O argumento numero 1 de oppositeDirection e' uma instancia de Atributo Posicional
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18126-18126	O argumento numero 2 de oppositeDirection e' uma instancia de Atributo Posicional
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18122-18122	oppositeDirection e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18124-18124	oppositeDirection e' uma instancia de Relacao Irreflexiva
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18123-18123	oppositeDirection e' uma instancia de Relacao Simetrica

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1847-1847
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1846-1846
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1845-1845
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42324-42324
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42323-42323
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42322-42322

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 194-199	Fisico e' uma instancia de WindFlow a medida de Fisico e' Medida de Comprimento por Duracao Temporal Regiao na direcao Entidade-TOWARD oppositeDirection Entidade-TOWARD and Entidade-FROM surfaceWindDirection Regiao and Entidade-FROM
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18135-18140	Objeto e' Atributo Posicional em relacao a Objeto Atributo Posicional e' uma instancia de Atributo Posicional oppositeDirection Atributo Posicional and Atributo Posicional Objeto e' Atributo Posicional em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Weather.kif 188-192	surfaceWindVelocity Objeto, Quantidade Fisica and Entidade-TOWARD oppositeDirection Entidade-TOWARD and Entidade-FROM surfaceWindDirection Objeto and Entidade-FROM
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18142-18144	oppositeDirection Atributo Posicional and Atributo Posicional Atributo Posicional e' &o oposto de Atributo Posicional

consequent

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

Mid-level-ontology.kif 18149-18183

Objeto e' uma instancia de Saw Processo e' uma instancia de Cortar Objeto e' um instrumento para Processo Objeto e' uma instancia de Objeto Objeto e' um patient de Processo
Processo Entidade, Entidade, Intervalo Temporal, Posicao Temporal, Posicao Temporal and Objeto Processo e' uma instancia de Movimento Processo e' um sub-processo de Processo Objeto e' uma instancia de CuttingDevice Objeto e' uma &parte de Objeto Objeto encontra Objeto Objeto e' um patient de Processo Posicao Temporal e' uma instancia de Intervalo Temporal Posicao Temporal e' uma instancia de Intervalo Temporal tempo de existencia de Processo e' igual a Intervalo Temporal Intervalo Temporal e' uma &parte de Posicao Temporal Intervalo Temporal e' uma &parte de Posicao Temporal Entidade e' uma instancia de Atributo Directional Entidade e' uma instancia de Atributo Directional
- as entidades no processo Processo se movem Entidade vale durante Posicao Temporal
- as entidades no processo Processo se movem Entidade Entidade e' igual a Entidade oppositeDirection Entidade and Entidade ~{ Entidade e' igual a Entidade } ~{ oppositeDirection Entidade and Entidade } vale durante Posicao Temporal

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18133-18133	oppositeDirection East and West
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18132-18132	oppositeDirection North and South
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3671-3671	oppositeDirection Northeast and Southwest
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3683-3683	oppositeDirection Northwest and Southeast
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5460-5460	oppositeDirection Upstream and Downstream

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