No TPTP formula. May not be expressible in strict first order. 
UXExperimentalTerms.kif 655658 

No TPTP formula. May not be expressible in strict first order. 
UXExperimentalTerms.kif 660660 
The number 1 argument of confidence interval is an instance of experimenting 
No TPTP formula. May not be expressible in strict first order. 
UXExperimentalTerms.kif 662662 
The number 2 argument of confidence interval is an instance of real number 
No TPTP formula. May not be expressible in strict first order. 
UXExperimentalTerms.kif 651651 
confidence interval is an instance of binary predicate 