TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1734-1734	manner e attribute sao disjuntos
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1716-1718
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1736-1740
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 320-323
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1732-1732	O argumento numero 1 de manner e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1733-1733	O argumento numero 2 de manner e' uma instancia de Atributo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1727-1727	manner e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1730-1730	manner e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1728-1728	manner e' uma instancia de Relacao Irreflexiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1729-1729	manner e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1731-1731	manner e' uma sub-relacao de property

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 149-149
No TPTP formula. May not be expressible in strict first order.	english_format.kif 150-150
No TPTP formula. May not be expressible in strict first order.	french_format.kif 95-95
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 173-173
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1923-1923
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 47-47
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 179-179
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 211-211
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 114-114
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 94-94
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 343-343
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 150-150
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36011-36011
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36010-36010
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36009-36009
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 55-55
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 344-344

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30296-30310	Processo e' feito de forma Harmless Processo e' uma instancia de Causar Dano Processo2 Processo2 e' uma instancia de Causar Dano Processo2 e' um sub-processo de Processo Processo2 Processo2 e' uma instancia de Causar Dano Processo causa Processo2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30207-30218	Processo e' feito de forma Solely Entidade involvedInEvent Processo and Entidade Entidade e' uma instancia de AutonomousAgent Entidade2 involvedInEvent Processo and Entidade2 Entidade2 e' uma instancia de AutonomousAgent Entidade e' igual a Entidade2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4946-4948	Processo e' feito de forma RotationalAttribute Processo e' uma instancia de Rotating

consequent

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

Merge.kif 11279-11290

Fisico e' uma instancia de Mudanca de Direcao
Entidade Entidade e' uma instancia de Atributo Directional Fisico e' feito de forma Entidade vale durante o comeco de tempo de existencia de Fisico Fisico e' feito de forma Entidade vale durante o fim de tempo de existencia de Fisico Fisico e' feito de forma Entidade vale durante o fim de tempo de existencia de Fisico Fisico e' feito de forma Entidade vale durante o comeco de tempo de existencia de Fisico

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: