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

No TPTP formula. May not be expressible in strict first order. 
UXExperimentalTerms.kif 528528 
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 529529 
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 520520 
confidence interval is an instance of binary predicate 