TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2380-2381
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6083-6085
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1059-1060
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6079-6079	分最短图路径函数的 1 数量是图的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6078-6078	分最短图路径函数是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6080-6080	分最短图路径函数的所得值是图路径的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6081-6081	分最短图路径函数和分图路径函数是内部相关

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 779-779
No TPTP formula. May not be expressible in strict first order.	english_format.kif 779-779
No TPTP formula. May not be expressible in strict first order.	french_format.kif 469-469
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 189-189
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2173-2173
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 421-421
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 1009-1009
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 227-227
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 491-491
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 539-539
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 780-780
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37865-37865
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37864-37864
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37863-37863

antecedent

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

Merge.kif 6091-6097

consequent

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

Merge.kif 6087-6089

statement

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

Merge.kif 6099-6106