TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2353-2355
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5916-5919
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1030-1032
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5913-5913	O argumento numero 1 de pathLength e' uma instancia de Caminho do Grafo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5914-5914	O argumento numero 2 de pathLength e' uma instancia de Inteiro positivo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5912-5912	pathLength e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 753-753
No TPTP formula. May not be expressible in strict first order.	english_format.kif 755-755
No TPTP formula. May not be expressible in strict first order.	french_format.kif 454-454
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 217-217
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2162-2162
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 406-406
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 467-467
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 972-972
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 255-255
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 476-476
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 519-519
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 409-409
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 754-754
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44785-44785
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44784-44784

consequent

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

Merge.kif 6092-6098

statement

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

Merge.kif 6100-6107