TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2836-2839
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2841-2841	The number 1 argument of conversion rate is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2832-2832	Conversion rate is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2843-2843	The range of conversion rate is an instance of quantity

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3126-3126
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3125-3125
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3124-3124
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2834-2834