TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18588-18590
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18592-18592	The number 1 argument of max value is an instance of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18593-18593	The number 2 argument of max value is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18594-18594	The number 3 argument of max value is an instance of quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18591-18591	max value is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18595-18596
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65881-65881