TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18423-18425
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18427-18427	maxValue 的 1 数量是谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18428-18428	maxValue 的 2 数量是整数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18429-18429	maxValue 的 3 数量是数量的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18426-18426	maxValue 是三元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18430-18431
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65872-65872