TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3794-3795
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17041-17042
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17040-17040	Valor Verdade e' uma sub-classe de Atributo Relacional

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17055-17055	False e' uma instancia de Valor Verdade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17052-17052	True e' uma instancia de Valor Verdade
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1235-1235
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1691-1691
No TPTP formula. May not be expressible in strict first order.	french_format.kif 913-913
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 446-446
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 449-449
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2597-2597
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 865-865
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 451-451
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 485-485
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 934-934
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 450-450

appearance as argument number 3

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

Merge.kif 17062-17062

O argumento numero 2 de truth e' uma instancia de Valor Verdade

antecedent

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

Merge.kif 17044-17050