TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18383-18385
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18387-18387	minValue 的 1 数量是谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18388-18388	minValue 的 2 数量是整数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18389-18389	minValue 的 3 数量是数量的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18386-18386	minValue 是三元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18390-18391
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65877-65877