TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1287-1289
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1281-1281	O argumento numero 1 de customerValue e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1283-1283	O argumento numero 2 de customerValue e' uma instancia de Business
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1285-1285	O argumento numero 3 de customerValue e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1277-1277	customerValue e' uma instancia de Predicado Ternario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3154-3154
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3153-3153
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3152-3152
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1279-1279