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	The number 1 argument of customer value is an instance of human
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1283-1283	The number 2 argument of customer value is an instance of business
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1285-1285	The number 3 argument of customer value is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1277-1277	customer value is an instance of ternary predicate

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