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 5915-5918
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 5912-5912	路径长度的 1 数量是图路径的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5913-5913	路径长度的 2 数量是正整数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5911-5911	路径长度是二元谓语的 instance

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 44783-44783
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44782-44782

consequent

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

Merge.kif 6091-6097

statement

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

Merge.kif 6099-6106