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	Le nombre 1 argument de customerValue est une instance de humain
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1283-1283	Le nombre 2 argument de customerValue est une instance de Business
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1285-1285	Le nombre 3 argument de customerValue est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1277-1277	customerValue est une instance de pr�dicat ternaire

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