TreeView Knowledge Base Browser - direction

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - direction

direction

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3789-3790
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17012-17015
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17009-17009	O argumento numero 1 de direction e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17010-17010	O argumento numero 2 de direction e' uma instancia de Atributo Posicional
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17008-17008	direction e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17011-17011	direction e' uma sub-relacao de involvedInEvent

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 588-588
No TPTP formula. May not be expressible in strict first order.	english_format.kif 592-592
No TPTP formula. May not be expressible in strict first order.	french_format.kif 352-352
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 74-74
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2099-2099
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 304-304
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 108-108
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 769-769
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 115-115
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 374-374
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 390-390
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 164-164
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 589-589
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19685-19685
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19684-19684
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 165-165

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1634-1655	Processo e' uma instancia de Tornado Processo e' uma instancia de Rotating Objeto e' uma instancia de Air ProcessoRAN e' uma instancia de Translocation Processo e' um sub-processo de Processo ProcessoRAN e' um sub-processo de Processo Objeto e' um patient de ProcessoRAN as entidades no processo ProcessoRAN se movem Horizontal Objeto Objeto auto-conectado, ProcessoOP, Objeto auto-conectado, Objeto auto-conectado and Objeto auto-conectado Objeto e' uma instancia de Area Geografica eventLocated Processo and Objeto Objeto auto-conectado e' uma &parte de Objeto ConeSegment e' um atributo de Objeto auto-conectado o topo de Objeto auto-conectado e' ProcessoOP o fundo de Objeto auto-conectado e' Objeto auto-conectado Objeto auto-conectado e' uma instancia de Cloud o fundo de Objeto auto-conectado e' Objeto auto-conectado ProcessoOP encontra Objeto auto-conectado Objeto auto-conectado encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17017-17022	As entidades no processo Entidade se movem Entidade vale durante Posicao Temporal Entidade as entidades no processo Entidade se movem Entidade vale durante Posicao Temporal Entidade e' igual a Entidade

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18177-18211	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17017-17022	As entidades no processo Entidade se movem Entidade vale durante Posicao Temporal Entidade as entidades no processo Entidade se movem Entidade vale durante Posicao Temporal Entidade e' igual a Entidade

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