TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18401-18403
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18405-18405	O argumento numero 1 de maxValue e' uma instancia de Predicado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18406-18406	O argumento numero 2 de maxValue e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18407-18407	O argumento numero 3 de maxValue e' uma instancia de Quantidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18404-18404	maxValue e' uma instancia de Predicado Ternario

appearance as argument number 2

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